The following pages link to Chitta R. Baral (Q1197386):
Displaying 50 items.
- (Q861915) (redirect page) (← links)
- Interval-type and affine arithmetic-type techniques for handling uncertainty in expert systems (Q861916) (← links)
- Stable and extension class theory for logic programs and default logics (Q1197387) (← links)
- Formalizing narratives using nested circumscription (Q1274680) (← links)
- Value minimization in circumscription (Q1274886) (← links)
- Dualities between alternative semantics for logic programming and nonmonotonic reasoning (Q1311405) (← links)
- Generalized disjunctive well-founded semantics for logic programs. (Q1354026) (← links)
- Relating logic programming theories of actions and partial order planning (Q1376078) (← links)
- Abductive reasoning through filtering (Q1575426) (← links)
- Computational complexity of planning and approximate planning in the presence of incompleteness (Q1583520) (← links)
- An action language for multi-agent domains (Q2060726) (← links)
- Revision and updates in possibly action-occurrence-incomplete narratives (Q2092491) (← links)
- Maintenance goals of agents in a dynamic environment: formulation and policy construction (Q2389664) (← links)
- Knowledge updates: Semantics and complexity issues (Q2457677) (← links)
- Alan: An action language for modelling non-Markovian domains (Q2574883) (← links)
- (Q2728926) (← links)
- (Q2734940) (← links)
- (Q2767113) (← links)
- (Q2767140) (← links)
- Encoding Higher Level Extensions of Petri Nets in Answer Set Programming (Q2851238) (← links)
- Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information (Q2851244) (← links)
- Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL (Q2851977) (← links)
- The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL (Q2900507) (← links)
- Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains (Q2900545) (← links)
- Finitary S5-Theories (Q2938497) (← links)
- On Representing Actions in Multi-agent Domains (Q3001922) (← links)
- Reasoning about Multi-agent Domains Using Action Language $\mathcal{C}$ : A Preliminary Study (Q3055670) (← links)
- “Add Another Blue Stack of the Same Height!”: ASP Based Planning and Plan Failure Analysis (Q3449197) (← links)
- Knowledge Representation, Reasoning and Declarative Problem Solving (Q3572044) (← links)
- Logic programming for finding models in the logics of knowledge and its applications: A case study (Q3585176) (← links)
- Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs (Q3608642) (← links)
- Probabilistic reasoning with answer sets (Q3612603) (← links)
- Expanding queries to incomplete databases by interpolating general logic programs (Q4208860) (← links)
- Logic programming and knowledge representation (Q4305625) (← links)
- (Q4318637) (← links)
- Reasoning about effects of concurrent actions (Q4352530) (← links)
- Representing actions: Laws, observations and hypotheses (Q4352534) (← links)
- Embedding revision programs in logic programming situation calculus (Q4364206) (← links)
- Knowledge Representation, Reasoning and Declarative Problem Solving (Q4428287) (← links)
- Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples (Q4559818) (← links)
- Joint learning of logic relationships for studying protein function using phylogenetic profiles and the rosetta stone method (Q4588145) (← links)
- (Q4798009) (← links)
- (Q4798013) (← links)
- Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them (Q4911148) (← links)
- (Q4940940) (← links)
- A Non-monotonic Goal Specification Language for Planning with Preferences (Q5172616) (← links)
- Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming (Q5297630) (← links)
- A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information (Q5310667) (← links)
- (Q5398040) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424861) (← links)
