32 results on '"Baral, Chitta"'
Search Results
2. Revision and Updates in Possibly Action-Occurrence-Incomplete Narratives
3. Reactive Maintenance Policies over Equalized States in Dynamic Environments
4. Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication
5. “Add Another Blue Stack of the Same Height!”: ASP Based Planning and Plan Failure Analysis
6. A Non-monotonic Goal Specification Language for Planning with Preferences
7. Translating Simple Legal Text to Formal Representations
8. Finitary S5-Theories
9. Encoding Higher Level Extensions of Petri Nets in Answer Set Programming
10. Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information
11. Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains
12. The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL
13. Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages
14. Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using $\mathcal{C}$
15. State-Based Regression with Sensing and Knowledge
16. Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions
17. Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming
18. An Algorithm to Learn Causal Relations Between Genes from Steady State Data: Simulation and Its Application to Melanoma Dataset
19. Planning with Sensing Actions and Incomplete Information Using Logic Programming
20. Probabilistic Reasoning With Answer Sets
21. Planning with Different Forms of Domain-Dependent Control Knowledge — An Answer Set Programming Approach
22. Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming
23. Computational Complexity of Planning Based on Partial Information about the System’s Present and Past States
24. Invariance, Maintenance, and Other Declarative Objectives of Triggers — A Formal Characterization of Active Databases
25. Extending ConGolog to Allow Partial Ordering
26. Formalizing (and Reasoning about) the Specifications of Workflows
27. From action theories to updates, transactions, triggers and agents — A tutorial
28. Formal characterizations of active databases: Part II
29. Formal characterization of active databases
30. Generalized well-founded semantics for logic programs
31. Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs
32. Generalized negation as failure and semantics of normal disjunctive logic programs
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.