Searching for authors named "Chitta Baral" – sorted by Relevance.
72 documents found, showing 1 through 10.
Next 10 →
-
A Logic programming theory of reasoning about actions
- …A Logic programming theory of reasoning about actions Chitta Baral Department of Computer Science…
- Add To MetaCart
-
Defeasible specifications in action theories
- …Defeasible Specifications in Action Theories Chitta Baral* Computer Science Department University…
- Cited by 7 (1 self) – Add To MetaCart
-
Using answer set programming to answer complex queries
- …Using answer set programming to answer complex queries Chitta Baral Dept. of Computer Sc. & Eng…
- Cited by 8 (0 self) – Add To MetaCart
-
Embedding Revision Programs in Logic Programming Situation Calculus
- …Embedding Revision Programs in Logic Programming Situation Calculus Chitta Baral Department…
- Cited by 3 (0 self) – Add To MetaCart
-
Relating Logic Programming Theories of Actions and Partial Order Planning
- …Relating logic programming theories of actions and partial order planning Chitta Baral Department…
- Cited by 4 (0 self) – Add To MetaCart
-
Using sat and logic programming to design polynomial-time algorithms for planning in non-deterministic domains
- …-deterministic Domains Chitta Baral Computer Science and Engineering Arizona State University Tempe, AZ 85287, USA chitta…
- Cited by 1 (0 self) – Add To MetaCart
-
Abductive reasoning through Filtering
- …Abductive reasoning through Filtering Chitta Baral Department of Computer Science and Engg…
- Cited by 6 (0 self) – Add To MetaCart
-
Reasoning about actions: Non-deterministic effects, Constraints, and Qualification
- …Reasoning about actions: Non-deterministic effects, Constraints, and Qualification Chitta Baral…
- Cited by 44 (16 self) – Add To MetaCart
-
Computational Complexity of Planning with Discrete Time and Continuous State Variables
- …Computational Complexity of Planning with Discrete Time and Continuous State Variables Chitta…
- Add To MetaCart
-
A Language to Reason About Long Duration Transactions and Their Concurrent Execution
- …A language to reason about long duration transactions and their concurrent execution Chitta Baral…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
