BibSLEIGH — Chitta

Travelled to:

1 × France
1 × Hungary
1 × Portugal
1 × United Kingdom
2 × Italy
3 × Canada
3 × USA

Collaborated with:

J.Dzifcak T.C.Son ∅ S.Liang L.Tuan T.Eiter N.Tran Y.Zhang M.Nakamura N.H.Vo L.Tari H.Takahashi S.A.McIlraith A.Gabaldon A.Provetti M.Gelfond O.Kosheleva J.Lobo J.Minker M.A.Gonzalez A.Gottesman G.Gelfond E.Pontelli R.Trejo V.Kreinovich

Talks about:

program (7) action (7) knowledg (6) answer (6) reason (5) base (5) set (5) logic (4) about (4) languag (3)

Person: Chitta Baral

DBLP: Baral:Chitta

Facilitated 1 volumes:

Contributed to:

2012

2010

2008

2007

2006

2004

2002

2000

1997

1996

1993

1990

Wrote 21 papers:

ICLP-2012-BaralVL #how #knowledge base #why: Answering Why and How questions with respect to a frame-based knowledge base: a preliminary report (CB, NHV, SL), pp. 26–36.
ICLP-J-2012-BaralDGG #algorithm #correctness #programming #set #λ-calculus: Typed answer set programming λ calculus theories and correctness of inverse λ algorithms with respect to them (CB, JD, MAG, AG), pp. 775–791.
KR-2012-BaralD #automation #how #learning #programming #set: Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation (CB, JD).
KR-2012-BaralL #declarative #reasoning #representation: From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP (CB, SL).
ICLP-J-2010-BaralGPS #case study #logic #logic programming #modelling: Logic programming for finding models in the logics of knowledge and its applications: A case study (CB, GG, EP, TCS), pp. 675–690.
KR-2010-Baral #multi #reasoning: Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (CB).
ICLP-2008-Baral #information management #programming #reasoning #representation #set #using: Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions (CB), pp. 69–70.
ICLP-2007-BaralDT #information management #natural language #prolog #set #towards: Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs (CB, JD, LT), pp. 1–21.
ICLP-2006-BaralDT #composition #metaprogramming #set #using: Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming (CB, JD, HT), pp. 376–390.
KR-2004-BaralE #algorithm #policy #polynomial: A Polynomial-Time Algorithm for Constructing k-Maintainable Policies (CB, TE), pp. 720–730.
KR-2004-TranB #interactive #prolog #reasoning: Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells (NT, CB), pp. 554–564.
KR-2002-BaralST: A Transition Function Based Characterization of Actions with Delayed and Continuous Effects (CB, TCS, LCT), pp. 291–302.
KR-2002-BaralZ #complexity #model checking: The Complexity of Model Checking for Knowledge Update (CB, YZ), pp. 82–96.
CL-2000-BaralTTK #complexity: Computational Complexity of Planning Based on Partial Information about the System’s Present and Past States (CB, LCT, RT, VK), pp. 882–896.
CL-2000-NakamuraB #database #declarative #maintenance: Invariance, Maintenance, and Other Declarative Objectives of Triggers — A Formal Characterization of Active Databases (MN, CB), pp. 1210–1224.
KR-2000-BaralMS #problem #using: Formulating diagnostic problem solving using an action language with narratives and sensing (CB, SAM, TCS), pp. 311–322.
ILPS-1997-BaralS #approximate #reasoning: Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information (CB, TCS), pp. 387–401.
KR-1996-BaralGP: Value Minimization in Circumscription (CB, AG, AP), pp. 474–481.
ILPS-1993-BaralGK #approximate #logic programming #source code: Approximating General Logic Programs (CB, MG, OK), pp. 181–198.
CADE-1990-BaralLM #logic programming #semantics #source code: Generalized Well-founded Semantics for Logic Programs (CB, JL, JM), pp. 102–116.