Search

Your search keyword '"Shoham, Y."' showing total 19 results

Search Constraints

Start Over You searched for: Author "Shoham, Y." Remove constraint Author: "Shoham, Y." Topic logic program Remove constraint Topic: logic program
19 results on '"Shoham, Y."'

Search Results

1. Stable Models and an Alternative Logic Programming Paradigm

2. Formulas as Programs

3. Adding Constraints to Logic-based Formalisms

4. Action Languages, Answer Sets, and Planning

5. Inference and Computation Mobility with Jinni

6. The Logic of Language

7. Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics

8. A Perspective on Inductive Logic Programming

9. Computational Molecular Biology: A Promising Application Using LP and its Extensions

10. Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging

11. Horn Logic Denotations and Their Applications

12. Assessment of Some Issues in CL-Theory and Program Development

13. Concurrent Logic/Constraint Programming: The Next 10 Years

14. Continuous Models of Computation for Logic Programs: Importing Continuous Mathematics into Logic Programming’s Algorithmic Foundations

15. Towards a Theory of Multimedia Database Systems

16. Logic programming and nonmonotonic reasoning

17. Relations among nonmonotonic formalisms

18. Introduction

19. Complexity of some forms of nonmonotonic reasoning

Catalog

Books, media, physical & digital resources