Chitta R. Baral

Available identifiers

zbMath Open baral.chitta-rWikidataQ102168200 ScholiaQ102168200MaRDI QIDQ1197386

List of research outcomes

Publication	Date of Publication	Type
Generalized well-founded semantics for logic programs	2023-04-28	Paper
Revision and updates in possibly action-occurrence-incomplete narratives	2022-11-02	Paper
An action language for multi-agent domains	2021-12-13	Paper
Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples	2018-12-04	Paper
Joint learning of logic relationships for studying protein function using phylogenetic profiles and the rosetta stone method	2017-10-30	Paper
“Add Another Blue Stack of the Same Height!”: ASP Based Planning and Plan Failure Analysis	2015-11-04	Paper
A Non-monotonic Goal Specification Language for Planning with Preferences	2015-02-04	Paper
Finitary S5-Theories	2015-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q5398040	2014-02-25	Paper
Encoding Higher Level Extensions of Petri Nets in Answer Set Programming	2013-10-10	Paper
Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information	2013-10-10	Paper
Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL	2013-10-04	Paper
Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them	2013-03-13	Paper
The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL	2012-07-23	Paper
Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains	2012-07-23	Paper
On Representing Actions in Multi-agent Domains	2011-05-19	Paper
Reasoning about Multi-agent Domains Using Action Language $\mathcal{C}$ : A Preliminary Study	2010-11-09	Paper
Logic programming for finding models in the logics of knowledge and its applications: A case study	2010-08-19	Paper
Knowledge Representation, Reasoning and Declarative Problem Solving	2010-07-08	Paper
Maintenance goals of agents in a dynamic environment: formulation and policy construction	2009-07-17	Paper
Probabilistic reasoning with answer sets	2009-03-10	Paper
Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs	2009-03-05	Paper
Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming	2008-03-11	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
Knowledge updates: Semantics and complexity issues	2007-10-23	Paper
A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information	2007-10-11	Paper
Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming	2007-07-12	Paper
Interval-type and affine arithmetic-type techniques for handling uncertainty in expert systems	2007-02-02	Paper
Alan: An action language for modelling non-Markovian domains	2005-12-02	Paper
Knowledge Representation, Reasoning and Declarative Problem Solving	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4798009	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4798013	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q2767113	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2767140	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2728926	2001-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q2734940	2001-08-30	Paper
Formalizing sensing actions -- a transition function based approach	2001-08-20	Paper
Computational complexity of planning and approximate planning in the presence of incompleteness	2000-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q4940940	2000-09-27	Paper
Abductive reasoning through filtering	2000-08-21	Paper
Formalizing narratives using nested circumscription	1999-01-12	Paper
Value minimization in circumscription	1999-01-12	Paper
Expanding queries to incomplete databases by interpolating general logic programs	1998-10-04	Paper
Relating logic programming theories of actions and partial order planning	1998-06-23	Paper
Embedding revision programs in logic programming situation calculus	1997-11-13	Paper
Reasoning about effects of concurrent actions	1997-09-04	Paper
Representing actions: Laws, observations and hypotheses	1997-09-04	Paper
Generalized disjunctive well-founded semantics for logic programs.	1997-05-13	Paper
Logic programming and knowledge representation	1995-08-15	Paper
https://portal.mardi4nfdi.de/entity/Q4318637	1995-01-09	Paper
Dualities between alternative semantics for logic programming and nonmonotonic reasoning	1994-03-13	Paper
Stable and extension class theory for logic programs and default logics	1993-01-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Chitta R. Baral