19 results on '"Shoham, Y."'
Search Results
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
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.