Chitta Baral

According to our database1, Chitta Baral authored at least 189 papers between 1990 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Spatial Knowledge Distillation to Aid Visual Reasoning.
Proceedings of the IEEE Winter Conference on Applications of Computer Vision, 2019

Integrating Knowledge and Reasoning in Image Understanding.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Combining Knowledge Hunting and Neural Language Models to Solve the Winograd Schema Challenge.
Proceedings of the 57th Conference of the Association for Computational Linguistics, 2019

Careful Selection of Knowledge to Solve Open Book Question Answering.
Proceedings of the 57th Conference of the Association for Computational Linguistics, 2019

Declarative Question Answering over Knowledge Bases Containing Natural Language Text with Answer Set Programming.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples.
TPLP, 2018

Image Understanding using vision and reasoning through Scene Description Graph.
Computer Vision and Image Understanding, 2018

Ask not what your postdoc can do for you ...
Commun. ACM, 2018

Combining Knowledge and Reasoning through Probabilistic Soft Logic for Image Puzzle Solving.
Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, 2018

Knowledge Representation and Reasoning in Answering Science Questions: A Case Study for Food Web Questions.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Explicit Reasoning over End-to-End Neural Architectures for Visual Question Answering.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Epistemic Planning (Dagstuhl Seminar 17231).
Dagstuhl Reports, 2017

Revision and Updates in Possibly Action-Occurrence-Incomplete Narratives.
Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017

Reactive Maintenance Policies over Equalized States in Dynamic Environments.
Proceedings of the Progress in Artificial Intelligence, 2017

2016
Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication.
Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016

Learning To Use Formulas To Solve Simple Arithmetic Problems.
Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, 2016

Automatic Extraction of Events-Based Conditional Commonsense Knowledge.
Proceedings of the Knowledge Extraction from Text, 2016

Addressing a Question Answering Challenge by Combining Statistical Methods with Inductive Rule Learning and Reasoning.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Session Introduction.
Proceedings of the Biocomputing 2015: Proceedings of the Pacific Symposium, 2015

Recognizing Social Constructs from Textual Conversation.
Proceedings of the NAACL HLT 2015, The 2015 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Denver, Colorado, USA, May 31, 2015

"Add Another Blue Stack of the Same Height!": ASP Based Planning and Plan Failure Analysis.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Towards Addressing the Winograd Schema Challenge - Building and Using a Semantic Parser and a Knowledge Hunting Module.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Learning to Automatically Solve Logic Grid Puzzles.
Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015

A Non-monotonic Goal Specification Language for Planning with Preferences.
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

Identifying Various Kinds of Event Mentions in K-Parser Output.
Proceedings of the The 3rd Workshop on EVENTS: Definition, 2015

The NL2KR Platform for building Natural Language Translation Systems.
Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing of the Asian Federation of Natural Language Processing, 2015

An Approach to Solve Winograd Schema Challenge Using Automatically Extracted Commonsense Knowledge.
Proceedings of the 2015 AAAI Spring Symposia, 2015

Multi-Agent Action Modeling Through Action Sequences And Perspective Fluents.
Proceedings of the 2015 AAAI Spring Symposia, 2015

Visual Commonsense for Scene Understanding Using Perception, Semantic Parsing and Reasoning.
Proceedings of the 2015 AAAI Spring Symposia, 2015

Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Knowledge Representation and Reasoning: What's Hot.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Translating Simple Legal Text to Formal Representations.
Proceedings of the New Frontiers in Artificial Intelligence, 2014

Finitary S5-Theories.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Pathway Specification and Comparative Queries: A High Level Language with Petri Net Semantics.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning.
TPLP, 2013

Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

The NL2KR System.
Proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning co-located with 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), 2013

Encoding Higher Level Extensions of Petri Nets in Answer Set Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL.
Proceedings of the Computational Logic in Multi-Agent Systems, 2013

2012
Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them.
TPLP, 2012

Incremental Information Extraction Using Relational Databases.
IEEE Trans. Knowl. Data Eng., 2012

A SNPshot of PubMed to associate genetic variants with drugs, diseases, and adverse reactions.
Journal of Biomedical Informatics, 2012

From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Answering Why and How questions with respect to a frame-based knowledge base: a preliminary report.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains.
Proceedings of the Correct Reasoning, 2012

The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL.
Proceedings of the Correct Reasoning, 2012

2011
Molecular Event Extraction from Link Grammar Parse Trees in the BioNLP'09 Shared Task.
Computational Intelligence, 2011

Logic Programming and Uncertainty.
Proceedings of the Scalable Uncertainty Management - 5th International Conference, 2011

Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Using Inverse lambda and Generalization to Translate English to Formal Languages.
Proceedings of the Ninth International Conference on Computational Semantics, 2011

On Representing Actions in Multi-agent Domains.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How To Do That Translation.
Proceedings of the Advances in Cognitive Systems, 2011

2010
Logic programming for finding models in the logics of knowledge and its applications: A case study.
TPLP, 2010

Efficient Extraction of Protein-Protein Interactions from Full-Text Articles.
IEEE/ACM Trans. Comput. Biology Bioinform., 2010

Discovering drug-drug interactions: a text-mining and reasoning approach based on properties of drug metabolism.
Bioinformatics, 2010

Synthesis of Pharmacokinetic Pathways through Knowledge Acquisition and Automated Reasoning.
Proceedings of the Biocomputing 2010: Proceedings of the Pacific Symposium, 2010

Extraction of Genotype-Phenotype-Drug Relationships from Text: From Entity Recognition to Bioinformatics Application.
Proceedings of the Biocomputing 2010: Proceedings of the Pacific Symposium, 2010

Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract).
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

GenerIE: Information extraction using database queries.
Proceedings of the 26th International Conference on Data Engineering, 2010

Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Knowledge Representation, Reasoning and Declarative Problem Solving.
Cambridge University Press, ISBN: 978-0-521-14775-0, 2010

2009
Fuzzy c-means clustering with prior biological knowledge.
Journal of Biomedical Informatics, 2009

Hypothesizing about signaling networks.
J. Applied Logic, 2009

Querying Parse Tree Database of Medline Text to Synthesize User-Specific Biomolecular Networks.
Proceedings of the Biocomputing 2009: Proceedings of the Pacific Symposium, 2009

Towards Effective Sentence Simplification for Automatic Processing of Biomedical Text.
Proceedings of the Human Language Technologies: Conference of the North American Chapter of the Association of Computational Linguistics, Proceedings, May 31, 2009

Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using .
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

What to do and how to do it: Translating natural language directives into temporal and dynamic logic representation for goal management and action execution.
Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009

Reasoning about Multi-agent Domains Using Action Language C\mathcal{C}: A Preliminary Study.
Proceedings of the Computational Logic in Multi-Agent Systems, 2009

2008
Knowledge Representation and Question Answering.
Proceedings of the Handbook of Knowledge Representation, 2008

AAAI 2008 Spring Symposia Reports.
AI Magazine, 2008

Maintenance goals of agents in a dynamic environment: Formulation and policy construction.
Artif. Intell., 2008

State-Based Regression with Sensing and Knowledge.
Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions.
Proceedings of the Logic Programming, 24th International Conference, 2008

Extracting Protein-Protein Interactions from MEDLINE Using Syntactic Roles.
Proceedings of the 2008 IEEE International Conference on Bioinformatics and Biomedicine, 2008

Organizing Committee.
Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008

Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming.
TPLP, 2007

Reasoning about non-immediate triggers in biological networks.
Ann. Math. Artif. Intell., 2007

Passage Relevancy Through Semantic Relatedness.
Proceedings of The Sixteenth Text REtrieval Conference, 2007

Mining Gene-Disease Relationships from Biomedical Literature: Weighting Proteinprotein Interactions and Connectivity.
Proceedings of the Biocomputing 2007, 2007

Non-monotonic Temporal Logics for Goal Specification.
Proceedings of the IJCAI 2007, 2007

Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning.
Proceedings of the IJCAI 2007, 2007

Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs.
Proceedings of the Logic Programming, 23rd International Conference, 2007

2006
Joint learning of logic relationships for studying protein function using phylogenetic profiles and the rosetta stone method.
IEEE Trans. Signal Processing, 2006

Domain-dependent knowledge in answer set planning.
ACM Trans. Comput. Log., 2006

A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information.
Logical Methods in Computer Science, 2006

AAAI 2006 Spring Symposium Reports.
AI Magazine, 2006

ASU at TREC 2006 Genomics Track.
Proceedings of the Fifteenth Text REtrieval Conference, 2006

A Framework for Composition and Inter-operation of Rules in the Semantic Web.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2006

Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming.
Proceedings of the Logic Programming, 22nd International Conference, 2006

Using AnsProlog with Link Grammar and WordNet for QA with deep reasoning.
Proceedings of the 9th International Conference in Information Technology, 2006

Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming.
Proceedings of the Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006

Organizing Committee.
Proceedings of the Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006

Goal Specification, Non-Determinism and Quantifying over Policies.
Proceedings of the Proceedings, 2006

2005
Logic Programming and Reasoning about Actions.
Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

Alan: An Action Language For Modelling Non-Markovian Domains.
Studia Logica, 2005

Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions.
Studia Logica, 2005

Knowledge updates: Semantics and complexity issues.
Artif. Intell., 2005

Genomic Information Retrieval Through Selective Extraction and Tagging by the ASU-BioAL Group.
Proceedings of the Fourteenth Text REtrieval Conference, 2005

Understanding the Global Properties of Functionally-Related Gene Networks Using the Gene Ontology.
Proceedings of the Biocomputing 2005, 2005

IntEx: A Syntactic Role Driven Protein-Protein Interaction Extractor for Bio-Medical Text.
Proceedings of the ACL-ISMB Workshop on Linking Biological Literature, 2005

Knowledge-based framework for hypothesis formation in biochemical networks.
Proceedings of the ECCB/JBI'05 Proceedings, Fourth European Conference on Computational Biology/Sixth Meeting of the Spanish Bioinformatics Network (Jornadas de BioInformática), Palacio de Congresos, Madrid, Spain, September 28, 2005

Knowledge-Based Integrative Framework for Hypothesis Formation in Biochemical Networks.
Proceedings of the Data Integration in the Life Sciences, Second InternationalWorkshop, 2005

BioLog: A Browser Based Collaboration and Resource Navigation Assistant for BioMedical Researchers.
Proceedings of the Data Integration in the Life Sciences, Second InternationalWorkshop, 2005

Collaborative Curation of Data from Bio-medical Texts and Abstracts and Its integration.
Proceedings of the Data Integration in the Life Sciences, Second InternationalWorkshop, 2005

A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling.
Proceedings of the Answer Set Programming, 2005

An Algorithm to Learn Causal Relations Between Genes from Steady State Data: Simulation and Its Application to Melanoma Dataset.
Proceedings of the Artificial Intelligence in Medicine, 2005

Answer Set Programming as the Basis for a Homeland Security QAS.
Proceedings of the AI Technologies for Homeland Security, 2005

Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge.
Proceedings of the Proceedings, 2005

Reasoning about Intended Actions.
Proceedings of the Proceedings, 2005

Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains.
Proceedings of the Proceedings, 2005

2004
Planning with Sensing Actions and Incomplete Information Using Logic Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Probabilistic Reasoning With Answer Sets.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

A Polynomial-Time Algorithm for Constructing k-Maintainable Policies.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

A knowledge based approach for representing and reasoning about signaling networks.
Proceedings of the Proceedings Twelfth International Conference on Intelligent Systems for Molecular Biology/Third European Conference on Computational Biology 2004, 2004

Goal Specification in Presence of Non-Deterministic Actions.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

A Polynomial Time Algorithm for Constructing k-Maintainable Policies.
Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004

Regression with Respect to Sensing Actions and Partial States.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

Encoding Probabilistic Causal Model in Probabilistic Action Language.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

Adding Time and Intervals to Procedural and Hierarchical Control Specifications.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003
Introduction to the special issue on Programming with Answer Sets.
TPLP, 2003

Representing and reasoning about signal networks: an illustration using NF\kappaB dependent signaling pathways.
Proceedings of the 2nd IEEE Computer Society Bioinformatics Conference, 2003

2002
AAAI 2002 Workshops.
AI Magazine, 2002

Modeling Multimedia Displays Using Action Based Temporal Logic.
Proceedings of the Visual and Multimedia Information Management, 2002

The Complexity of Model Checking for Knowledge Update.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

A Transition Function Based Characterization of Actions with Delayed and Continuous Effects.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

Reasoning about Actions in a Probabilistic Setting.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001
From Planning to Searching for the Shortest Plan: An Optimal Transition.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2001

Formalizing and Reasoning About the Requirements Specifications of Workflow Systems.
Int. J. Cooperative Inf. Syst., 2001

Formalizing sensing actions A transition function based approach.
Artif. Intell., 2001

Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

On the Semantics of Knowledge Update.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Computational Complexity of Planning with Temporal Goals.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Effect of knowledge representation on model based planning: experiments using logic programming encodings.
Proceedings of the Answer Set Programming, 2001

Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs.
Proceedings of the Answer Set Programming, 2001

2000
Computational complexity of planning and approximate planning in the presence of incompleteness.
Artif. Intell., 2000

Abductive reasoning through filtering.
Artif. Intell., 2000

Formulating diagnostic problem solving using an action language with narratives and sensing.
Proceedings of the KR 2000, 2000

Formalizing (and Reasoning About) the Specifications of Workflows.
Proceedings of the Cooperative Information Systems, 7th International Conference, 2000

Invariance, Maintenance, and Other Declarative Objectives of Triggers - A Formal Characterization of Active Databases.
Proceedings of the Computational Logic, 2000

Computational Complexity of Planning Based on Partial Information about the System's Present and Past States.
Proceedings of the Computational Logic, 2000

Towards Feasible Approach to Plan Checking under Probabilistic Uncertainty: Interval Methods.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

Maintainability: A Weaker Stabilizability Like Notion for High Level Control.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999
Computational Complexity of Planning and Approximate Planning in Presence of Incompleteness.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Specifying Generic Multimedia 3D Visualizations and Temporal Presentations from Database Queries.
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

Extending ConGolog to Allow Partial Ordering.
Proceedings of the Intelligent Agents VI, 1999

1998
Conceptual Modeling and Querying in Multimedia Databases.
Multimedia Tools Appl., 1998

Robots, softbots, immobots: The 1997 AAAI Workshop on Theories of Action, Planning and Control.
Knowledge Eng. Review, 1998

Expanding Queries to Incomplete Databases by Interpolating General Logic Programs.
J. Log. Program., 1998

Relating Theories of Actions and Reactive Control.
Electron. Trans. Artif. Intell., 1998

SQL+D: Extended Display Capabilities for Multimedia Database Queries.
Proceedings of the 6th ACM International Conference on Multimedia '98, 1998

Design and Implementation of Display Specification for Multimedia Answers.
Proceedings of the Fourteenth International Conference on Data Engineering, 1998

From Theory to Practice: The UTEP Robot in the AAAI 96 AAAI 97 Robot Contests.
Proceedings of the Second International Conference on Autonomous Agents, 1998

1997
Representing Actions: Laws, Observations and Hypotheses.
J. Log. Program., 1997

Reasoning About Effects of Concurrent Actions.
J. Log. Program., 1997

Embedding Revision Programs in Logic Programming Situation Calculus.
J. Log. Program., 1997

Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions.
Ann. Math. Artif. Intell., 1997

Relating Logic Programming Theories of Actions and Partial Order Planning.
Ann. Math. Artif. Intell., 1997

Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information.
Proceedings of the Logic Programming, 1997

Defeasible Specifications in Action Theories.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Formal Characterizations of Active Databases: Part II.
Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997

From Action Theories to Updates, Transactions, Triggers and Agents - A Tutorial.
Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997

1996
Formal Characterization of Active Databases.
Proceedings of the Logic in Databases, 1996

Value Minimization in Circumscription.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

Formalizing Narratives Using Nested Circumscription.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

A Reactive Mobile Robot Based on a Formal Theory of Action.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995
Reasoning about actions: Non-deterministic effects, Constraints, and Qualification.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994
Logic Programming and Knowledge Representation.
J. Log. Program., 1994

Combining Default Logic Databases.
Int. J. Cooperative Inf. Syst., 1994

Varying Selection Functions to Relate Conditional Logics and Preferential Models.
Fundam. Inform., 1994

Rule Based Updates on Simple Knowledge Bases.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993
Dualities Between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning.
J. Autom. Reasoning, 1993

Maintaining the Truth of Specifications in Evolutionary Software.
International Journal on Artificial Intelligence Tools, 1993

Approximating General Logic Programs.
Proceedings of the Logic Programming, 1993

Representing Concurrent Actions in Extended Logic Programming.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992
Stable and Extension Class Theory for Logic Programs and Default Logics.
J. Autom. Reasoning, 1992

Combining Knowledge Bases Consisting of First-Order Analysis.
Computational Intelligence, 1992

Generalized Disjunctive Well-Founded Semantics for Logic Programs.
Ann. Math. Artif. Intell., 1992

Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs.
Proceedings of the Logic Programming and Automated Reasoning, 1992

1991
Combining Multiple Knowledge Bases.
IEEE Trans. Knowl. Data Eng., 1991

Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning (Extended Abstract).
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

WF³: A Semantics for Negation in Normal Disjunctive Logic Programs.
Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

Combining Knowledge Bases Consisting of First Order Theories.
Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

1990
Generalized Well-founded Semantics for Logic Programs (Extended Abstract).
Proceedings of the 10th International Conference on Automated Deduction, 1990


  Loading...