247 results on '"Gelfond, Michael"'
Search Results
2. Thirty years of Epistemic Specifications
3. Vicious Circle Principle and Logic Programs with Aggregates
4. Vicious Circle Principle and Formation of Sets in ASP Based Languages
5. REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics
6. Modular Action Language ALM
7. Vicious Circle Principle and Logic Programs with Aggregates
8. KR$^3$: An Architecture for Knowledge Representation and Reasoning in Robotics
9. Vicious circle principle, aggregates, and formation of sets in ASP based languages
10. Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules
11. SPARC - Sorted ASP with Consistency Restoring Rules
12. Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach
13. Probabilistic reasoning with answer sets
14. Vicious Circle Principle and Formation of Sets in ASP Based Languages
15. Diagnostic reasoning with A-Prolog
16. Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication
17. A Theory of Intentions for Intelligent Agents : (Extended Abstract)
18. Towards an Architecture for Knowledge Representation and Reasoning in Robotics
19. Towards Answer Set Programming with Sorts
20. Toward Question Answering in Travel Domains
21. Reasoning about the Intentions of Agents
22. Knowledge Representation Language P-Log – A Short Introduction
23. New Semantics for Epistemic Specifications
24. Authorization and Obligation Policies in Dynamic Systems
25. Integrating Answer Set Reasoning with Constraint Solving Techniques
26. Vicious Circle Principle and Formation of Sets in ASP Based Languages
27. Enhancing ASP Systems for Planning with Temporal Constraints
28. An Approximation of Action Theories of and Its Application to Conformant Planning
29. Answer Set Programming and the Design of Deliberative Agents
30. Probabilistic Reasoning With Answer Sets
31. Applications of answer set programming
32. Representing Knowledge in A-Prolog
33. Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach
34. Diagnosing Physical Systems in A-Prolog
35. An A-Prolog Decision Support System for the Space Shuttle
36. Reasoning Agents in Dynamic Domains
37. Reasoning about Actual and Hypothetical Occurrences of Concurrent and Non-Deterministic Actions
38. Thirty years of Epistemic Specifications.
39. Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication
40. Thirty years of Epistemic Specifications
41. Reasoning with prioritized defaults
42. Approximation of action theories and its application to conformant planning
43. Representing null values in logic programming
44. Alan: An Action Language for Modelling Non-Markovian Domains
45. A Theory of Intentions for Intelligent Agents
46. Towards an Architecture for Knowledge Representation and Reasoning in Robotics
47. Chapter 7 Answer Sets
48. Integrating answer set programming and constraint logic programming
49. Answer set based design of knowledge systems
50. Towards Answer Set Programming with Sorts
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.