 | 2010 |
|---|
| 124 |       | Siddhartha Jonnalagadda,
Luis Tari,
Jörg Hakenberg,
Chitta Baral,
Graciela Gonzalez:
Towards Effective Sentence Simplification for Automatic Processing of Biomedical Text
CoRR abs/1001.4277: (2010) |
| 2009 |
|---|
| 123 | | Juraj Dzifcak,
Matthias Scheutz,
Chitta Baral,
Paul W. Schermerhorn:
What to do and how to do it: Translating natural language directives into temporal and dynamic logic representation for goal management and action execution.
ICRA 2009: 4163-4168 |
| 122 | | Chitta Baral,
Tran Cao Son,
Enrico Pontelli:
Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using .
LPNMR 2009: 409-415 |
| 121 | | Nam Tran,
Chitta Baral:
Hypothesizing about signaling networks.
J. Applied Logic 7(3): 253-274 (2009) |
| 120 | | Luis Tari,
Chitta Baral,
Seungchan Kim:
Fuzzy c-means clustering with prior biological knowledge.
Journal of Biomedical Informatics 42(1): 74-81 (2009) |
| 119 | | Chitta Baral,
Michael Gelfond,
J. Nelson Rushton:
Probabilistic reasoning with answer sets.
TPLP 9(1): 57-144 (2009) |
| 2008 |
|---|
| 118 |  | Chitta Baral,
Jicheng Zhao:
Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals.
AAAI 2008: 406-411 |
| 117 | | Chitta Baral,
Juraj Dzifcak,
Tran Cao Son:
Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions.
AAAI 2008: 818-823 |
| 116 | | Syed Toufeeq Ahmed,
Hasan Davulcu,
Chitta Baral:
Extracting Protein-Protein Interactions from MEDLINE Using Syntactic Roles.
BIBM 2008: 473-476 |
| 115 | | Chitta Baral:
Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions.
ICLP 2008: 69-70 |
| 114 | | Richard B. Scherl,
Tran Cao Son,
Chitta Baral:
State-Based Regression with Sensing and Knowledge.
PRICAI 2008: 345-357 |
| 113 | | Chitta Baral,
Thomas Eiter,
Marcus Bjäreland,
Mutsumi Nakamura:
Maintenance goals of agents in a dynamic environment: Formulation and policy construction.
Artif. Intell. 172(12-13): 1429-1469 (2008) |
| 112 | | Chitta Baral,
Michael Gelfond,
J. Nelson Rushton:
Probabilistic reasoning with answer sets
CoRR abs/0812.0659: (2008) |
| 2007 |
|---|
| 111 | | Chitta Baral,
Gerhard Brewka,
John S. Schlipf:
Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings
Springer 2007 |
| 110 | | Chitta Baral,
Juraj Dzifcak,
Luis Tari:
Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs.
ICLP 2007: 1-21 |
| 109 | | Chitta Baral,
Jicheng Zhao:
Non-monotonic Temporal Logics for Goal Specification.
IJCAI 2007: 236-242 |
| 108 | | Chitta Baral,
Matt Hunsaker:
Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning.
IJCAI 2007: 243-249 |
| 107 | | Graciela Gonzalez,
Juan C. Uribe,
Luis Tari,
Colleen Brophy,
Chitta Baral:
Mining Gene-Disease Relationships from Biomedical Literature: Weighting Proteinprotein Interactions and Connectivity.
Pacific Symposium on Biocomputing 2007: 28-39 |
| 106 | | Luis Tari,
Phan Huy Tu,
Barry Lumpkin,
Robert Leaman,
Graciela Gonzalez,
Chitta Baral:
Passage Relevancy Through Semantic Relatedness.
TREC 2007 |
| 105 | | Nam Tran,
Chitta Baral:
Reasoning about non-immediate triggers in biological networks.
Ann. Math. Artif. Intell. 51(2-4): 267-293 (2007) |
| 104 | | Phan Huy Tu,
Tran Cao Son,
Chitta Baral:
Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming.
TPLP 7(4): 377-450 (2007) |
| 2006 |
|---|
| 103 | | Chitta Baral,
Jicheng Zhao:
Goal Specification, Non-Determinism and Quantifying over Policies.
AAAI 2006 |
| 102 | | Chitta Baral,
Luis Tari:
Using AnsProlog with Link Grammar and WordNet for QA with deep reasoning.
ICIT 2006: 125-128 |
| 101 | | Chitta Baral,
Juraj Dzifcak,
Hiro Takahashi:
Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming.
ICLP 2006: 376-390 |
| 100 | | Enrico Pontelli,
Tran Cao Son,
Chitta Baral:
A Framework for Composition and Inter-operation of Rules in the Semantic Web.
RuleML 2006: 39-50 |
| 99 | | Luis Tari,
Graciela Gonzalez,
Robert Leaman,
Shawn Nikkila,
Ryan Wendt,
Chitta Baral:
ASU at TREC 2006 Genomics Track.
TREC 2006 |
| 98 | | Tran Cao Son,
Chitta Baral,
Nam Tran,
Sheila A. McIlraith:
Domain-dependent knowledge in answer set planning.
ACM Trans. Comput. Log. 7(4): 613-657 (2006) |
| 97 | | Phan Huy Tu,
Tran Cao Son,
Chitta Baral:
Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming
CoRR abs/cs/0605017: (2006) |
| 96 | | Le-Chi Tuan,
Chitta Baral,
Tran Cao Son:
A State-Based Regression Formulation for Domains with Sensing Actions<br> and Incomplete Information
CoRR abs/cs/0609111: (2006) |
| 95 | | Xin Zhang,
Seungchan Kim,
Tie Wang,
Chitta Baral:
Joint learning of logic relationships for studying protein function using phylogenetic profiles and the rosetta stone method.
IEEE Transactions on Signal Processing 54(6-2): 2427-2435 (2006) |
| 94 | | Le-Chi Tuan,
Chitta Baral,
Tran Cao Son:
A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information.
Logical Methods in Computer Science 2(4): (2006) |
| 2005 |
|---|
| 93 | | Chitta Baral,
Gianluigi Greco,
Nicola Leone,
Giorgio Terracina:
Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings
Springer 2005 |
| 92 | | Chitta Baral,
Thomas Eiter,
Jicheng Zhao:
Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains.
AAAI 2005: 578-583 |
| 91 | | Nam Tran,
Chitta Baral,
Carran Shankland:
Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge.
AAAI 2005: 676-681 |
| 90 | | Chitta Baral,
Michael Gelfond:
Reasoning about Intended Actions.
AAAI 2005: 689-694 |
| 89 | | Xin Zhang,
Chitta Baral,
Seungchan Kim:
An Algorithm to Learn Causal Relations Between Genes from Steady State Data: Simulation and Its Application to Melanoma Dataset.
AIME 2005: 524-534 |
| 88 | | Luis Tari,
Chitta Baral,
Saadat Anwar:
A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling.
Answer Set Programming 2005 |
| 87 | | Nam Tran,
Chitta Baral,
Vinay J. Nagaraj,
Lokesh Joshi:
Knowledge-Based Integrative Framework for Hypothesis Formation in Biochemical Networks.
DILS 2005: 121-136 |
| 86 | | Prabhdeep Singh,
R. Bhimavarapu,
Hasan Davulcu,
Chitta Baral,
Seungchan Kim,
Huan Liu,
Michael L. Bittner,
I. V. Ramakrishnan:
BioLog: A Browser Based Collaboration and Resource Navigation Assistant for BioMedical Researchers.
DILS 2005: 19-30 |
| 85 | | Chitta Baral,
Hasan Davulcu,
Mutsumi Nakamura,
Prabhdeep Singh,
Luis Tari,
Lian Yu:
Collaborative Curation of Data from Bio-medical Texts and Abstracts and Its integration.
DILS 2005: 309-312 |
| 84 | | Nam Tran,
Chitta Baral,
Vinay J. Nagaraj,
Lokesh Joshi:
Knowledge-based framework for hypothesis formation in biochemical networks.
ECCB/JBI 2005: 219 |
| 83 | | Luis Tari,
Chitta Baral,
P. Dasgupta:
Understanding the Global Properties of Functionally-Related Gene Networks Using the Gene Ontology.
Pacific Symposium on Biocomputing 2005 |
| 82 | | Lian Yu,
Syed Toufeeq Ahmed,
Graciela Gonzalez,
Brendan Logsdon,
Mutsumi Nakamura,
Shawn Nikkila,
Kalpesh Shah,
Luis Tari,
Ryan Wendt,
Amanda Zeigler,
Chitta Baral:
Genomic Information Retrieval Through Selective Extraction and Tagging by the ASU-BioAL Group.
TREC 2005 |
| 81 | | Chitta Baral,
Yan Zhang:
Knowledge updates: Semantics and complexity issues.
Artif. Intell. 164(1-2): 209-243 (2005) |
| 80 | | Graciela Gonzalez,
Chitta Baral,
Michael Gelfond:
Alan: An Action Language For Modelling Non-Markovian Domains.
Studia Logica 79(1): 115-134 (2005) |
| 79 | | Chitta Baral,
Nam Tran:
Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions.
Studia Logica 79(1): 33-46 (2005) |
| 2004 |
|---|
| 78 | | Nam Tran,
Chitta Baral:
Encoding Probabilistic Causal Model in Probabilistic Action Language.
AAAI 2004: 305-310 |
| 77 | | Le-Chi Tuan,
Chitta Baral,
Xin Zhang,
Tran Cao Son:
Regression with Respect to Sensing Actions and Partial States.
AAAI 2004: 556-561 |
| 76 | | Tran Cao Son,
Chitta Baral,
Le-Chi Tuan:
Adding Time and Intervals to Procedural and Hierarchical Control Specifications.
AAAI 2004: 92-97 |
| 75 | | Chitta Baral,
Jicheng Zhao:
Goal Specification in Presence of Non-Deterministic Actions.
ECAI 2004: 273-277 |
| 74 | | Chitta Baral,
Thomas Eiter:
A Polynomial Time Algorithm for Constructing k-Maintainable Policies.
ICAPS 2004: 111-121 |
| 73 | | Chitta Baral,
Karen Chancellor,
Nam Tran,
Nhan Tran,
Anna M. Joy,
Michael E. Berens:
A knowledge based approach for representing and reasoning about signaling networks.
ISMB/ECCB (Supplement of Bioinformatics) 2004: 15-22 |
| 72 | | Nam Tran,
Chitta Baral:
Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells.
KR 2004: 554-564 |
| 71 | | Chitta Baral,
Thomas Eiter:
A Polynomial-Time Algorithm for Constructing k-Maintainable Policies.
KR 2004: 720-730 |
| 70 | | Chitta Baral,
Michael Gelfond,
J. Nelson Rushton:
Probabilistic Reasoning With Answer Sets.
LPNMR 2004: 21-33 |
| 69 | | Tran Cao Son,
Phan Huy Tu,
Chitta Baral:
Planning with Sensing Actions and Incomplete Information Using Logic Programming.
LPNMR 2004: 261-274 |
| 68 | | Le-Chi Tuan,
Chitta Baral,
Tran Cao Son:
Regression with respect to sensing actions and partial states
CoRR cs.AI/0405071: (2004) |
| 2003 |
|---|
| 67 | | Chitta Baral,
Karen Chancellor,
Nam Tran,
Nhan Tran:
Representing and reasoning about signal networks: an illustration using NF\kappaB dependent signaling pathways.
CSB 2003: 623-628 |
| 66 | | Chitta Baral,
Alessandro Provetti,
Tran Cao Son:
Introduction to the special issue on Programming with Answer Sets.
TPLP 3(4-5): 387-391 (2003) |
| 2002 |
|---|
| 65 | | Chitta Baral,
Nam Tran,
Le-Chi Tuan:
Reasoning about Actions in a Probabilistic Setting.
AAAI/IAAI 2002: 507-512 |
| 64 | | Chitta Baral,
Tran Cao Son,
Le-Chi Tuan:
A Transition Function Based Characterization of Actions with Delayed and Continuous Effects.
KR 2002: 291-302 |
| 63 | | Chitta Baral,
Yan Zhang:
The Complexity of Model Checking for Knowledge Update.
KR 2002: 82-96 |
| 62 | | Graciela Gonzalez,
Chitta Baral,
Peter A. Cooper:
Modeling Multimedia Displays Using Action Based Temporal Logic.
VDB 2002: 141-155 |
| 61 | | M. Brian Blake,
Karen Zita Haigh,
Henry Hexmoor,
Rino Falcone,
Leen-Kiat Soh,
Chitta Baral,
Sheila A. McIlraith,
Piotr J. Gmytrasiewicz,
Simon Parsons,
Rainer Malaka,
Antonio Krüger,
Paolo Bouquet,
Bill Smart,
Koichi Kurumantani,
Adam Pease,
Michael Brenner,
Marie desJardins,
Ulrich Junker,
James P. Delgrande,
Jon Doyle,
Francesca Rossi,
Torsten Schaub,
Carla P. Gomes,
Toby Walsh,
Haipeng Guo,
Eric Horvitz,
Nancy Ide,
Christopher A. Welty,
Frank D. Anger,
Hans W. Guesgen,
Gérard Ligozat:
AAAI 2002 Workshops.
AI Magazine 23(4): 113-121 (2002) |
| 60 | | Tran Cao Son,
Chitta Baral,
Tran Hoai Nam,
Sheila A. McIlraith:
Domain-Dependent Knowledge in Answer Set Planning
CoRR cs.AI/0207023: (2002) |
| 2001 |
|---|
| 59 | | Le-Chi Tuan,
Chitta Baral:
Effect of knowledge representation on model based planning: experiments using logic programming encodings.
Answer Set Programming 2001 |
| 58 | | Tran Cao Son,
Chitta Baral,
Sheila A. McIlraith:
Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs.
Answer Set Programming 2001 |
| 57 | | Chitta Baral,
Vladik Kreinovich,
Raul Trejo:
Computational Complexity of Planning with Temporal Goals.
IJCAI 2001: 509-514 |
| 56 | | Chitta Baral,
Yan Zhang:
On the Semantics of Knowledge Update.
IJCAI 2001: 97-102 |
| 55 | | Chitta Baral,
Cenk Uyan:
Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming.
LPNMR 2001: 186-199 |
| 54 | | Tran Cao Son,
Chitta Baral,
Sheila A. McIlraith:
Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach.
LPNMR 2001: 226-239 |
| 53 | | Tran Cao Son,
Chitta Baral:
Formalizing sensing actions A transition function based approach.
Artif. Intell. 125(1-2): 19-91 (2001) |
| 52 | | Goce Trajcevski,
Chitta Baral,
Jorge Lobo:
Formalizing and Reasoning About the Requirements Specifications of Workflow Systems.
Int. J. Cooperative Inf. Syst. 10(4): 483-507 (2001) |
| 51 | | Raul Trejo,
Joel Galloway,
Charanjiv Sachar,
Vladik Kreinovich,
Chitta Baral,
Le-Chi Tuan:
From Planning to Searching for the Shortest Plan: An Optimal Transition.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 9(6): 827-837 (2001) |
| 2000 |
|---|
| 50 | | Raul Trejo,
Vladik Kreinovich,
Chitta Baral:
Towards Feasible Approach to Plan Checking under Probabilistic Uncertainty: Interval Methods.
AAAI/IAAI 2000: 545-550 |
| 49 | | Mutsumi Nakamura,
Chitta Baral,
Marcus Bjäreland:
Maintainability: A Weaker Stabilizability Like Notion for High Level Control.
AAAI/IAAI 2000: 62-67 |
| 48 | | Mutsumi Nakamura,
Chitta Baral:
Invariance, Maintenance, and Other Declarative Objectives of Triggers - A Formal Characterization of Active Databases.
Computational Logic 2000: 1210-1224 |
| 47 | | Chitta Baral,
Le-Chi Tuan,
Raul Trejo,
Vladik Kreinovich:
Computational Complexity of Planning Based on Partial Information about the System's Present and Past States.
Computational Logic 2000: 882-896 |
| 46 | | Goce Trajcevski,
Chitta Baral,
Jorge Lobo:
Formalizing (and Reasoning About) the Specifications of Workflows.
CoopIS 2000: 1-17 |
| 45 | | Chitta Baral,
Sheila A. McIlraith,
Tran Cao Son:
Formulating diagnostic problem solving using an action language with narratives and sensing.
KR 2000: 311-322 |
| 44 | | Chitta Baral:
Abductive reasoning through filtering.
Artif. Intell. 120(1): 1-28 (2000) |
| 43 | | Chitta Baral,
Vladik Kreinovich,
Raul Trejo:
Computational complexity of planning and approximate planning in the presence of incompleteness.
Artif. Intell. 122(1-2): 241-267 (2000) |
| 42 | | Chitta Baral,
Miroslaw Truszczynski:
Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000
CoRR cs.AI/0003073: (2000) |
| 1999 |
|---|
| 41 | | Chitta Baral,
Tran Cao Son:
Extending ConGolog to Allow Partial Ordering.
ATAL 1999: 188-204 |
| 40 | | Chitta Baral,
Graciela Gonzalez:
Specifying Generic Multimedia 3D Visualizations and Temporal Presentations from Database Queries.
ICMCS, Vol. 1 1999: 550-555 |
| 39 | | Chitta Baral,
Vladik Kreinovich,
Raul Trejo:
Computational Complexity of Planning and Approximate Planning in Presence of Incompleteness.
IJCAI 1999: 948-955 |
| 1998 |
|---|
| 38 | | Chitta Baral,
Graciela Gonzalez,
Amarendra Nandigam:
SQL+D: Extended Display Capabilities for Multimedia Database Queries.
ACM Multimedia 1998: 109-114 |
| 37 | | Chitta Baral,
Luis Floriano,
Aaron Hardesty,
David Morales,
Monica Nogueira,
Tran Cao Son:
From Theory to Practice: The UTEP Robot in the AAAI 96 AAAI 97 Robot Contests.
Agents 1998: 32-38 |
| 36 | | Chitta Baral,
Graciela Gonzalez,
Tran Cao Son:
Design and Implementation of Display Specification for Multimedia Answers.
ICDE 1998: 558-565 |
| 35 | | Chitta Baral,
Alfredo Gabaldon,
Alessandro Provetti:
Value Minimization in Circumscription.
Artif. Intell. 102(2): 163-186 (1998) |
| 34 | | Chitta Baral,
Alfredo Gabaldon,
Alessandro Provetti:
Formalizing Narratives Using Nested Circumscription.
Artif. Intell. 104(1-2): 107-164 (1998) |
| 33 | | Chitta Baral,
Tran Cao Son:
Relating Theories of Actions and Reactive Control.
Electron. Trans. Artif. Intell. 2: 211-271 (1998) |
| 32 | | Chitta Baral,
Michael Gelfond,
Olga Kosheleva:
Expanding Queries to Incomplete Databases by Interpolating General Logic Programs.
J. Log. Program. 35(3): 195-230 (1998) |
| 31 | | Chitta Baral,
Graciela Gonzalez,
Tran Cao Son:
Conceptual Modeling and Querying in Multimedia Databases.
Multimedia Tools Appl. 7(1/2): 37-66 (1998) |
| 1997 |
|---|
| 30 | | Chitta Baral,
Jorge Lobo,
Goce Trajcevski:
Formal Characterizations of Active Databases: Part II.
DOOD 1997: 247-264 |
| 29 | | Chitta Baral,
Jorge Lobo:
From Action Theories to Updates, Transactions, Triggers and Agents - A Tutorial.
DOOD 1997: 26-32 |
| 28 | | Chitta Baral,
Jorge Lobo:
Defeasible Specifications in Action Theories.
IJCAI 1997: 1441-1446 |
| 27 | | Chitta Baral,
Tran Cao Son:
Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information.
ILPS 1997: 387-401 |
| 26 | | Chitta Baral,
Vladik Kreinovich,
Vladimir Lifschitz:
Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions.
Ann. Math. Artif. Intell. 21(2-4): 129 (1997) |
| 25 | | Chitta Baral:
Relating Logic Programming Theories of Actions and Partial Order Planning.
Ann. Math. Artif. Intell. 21(2-4): 131-151 (1997) |
| 24 | | Chitta Baral:
Embedding Revision Programs in Logic Programming Situation Calculus.
J. Log. Program. 30(1): 83-97 (1997) |
| 23 | | Chitta Baral,
Michael Gelfond,
Alessandro Provetti:
Representing Actions: Laws, Observations and Hypotheses.
J. Log. Program. 31(1-3): 201-243 (1997) |
| 22 | | Chitta Baral,
Michael Gelfond:
Reasoning About Effects of Concurrent Actions.
J. Log. Program. 31(1-3): 85-117 (1997) |
| 1996 |
|---|
| 21 | | Chitta Baral,
Alfredo Gabaldon,
Alessandro Provetti:
Formalizing Narratives Using Nested Circumscription.
AAAI/IAAI, Vol. 1 1996: 652-657 |
| 20 | | Chitta Baral,
Luis Floriano,
Alfredo Gabaldon,
David Morales,
Tran Cao Son,
Richard G. Watson:
A Reactive Mobile Robot Based on a Formal Theory of Action.
AAAI/IAAI, Vol. 2 1996: 1350 |
| 19 | | Chitta Baral,
Alfredo Gabaldon,
Alessandro Provetti:
Value Minimization in Circumscription.
KR 1996: 474-481 |
| 18 | | Chitta Baral,
Jorge Lobo:
Formal Characterization of Active Databases.
Logic in Databases 1996: 175-195 |
| 1995 |
|---|
| 17 | | Chitta Baral:
Reasoning about actions: Non-deterministic effects, Constraints, and Qualification.
IJCAI 1995: 2017-2026 |
| 1994 |
|---|
| 16 | | Chitta Baral:
Rule Based Updates on Simple Knowledge Bases.
AAAI 1994: 136-141 |
| 15 | | Chitta Baral:
Varying Selection Functions to Relate Conditional Logics and Preferential Models.
Fundam. Inform. 21(4): 307-319 (1994) |
| 14 | | Chitta Baral,
Sarit Kraus,
Jack Minker,
V. S. Subrahmanian:
Combining Default Logic Databases.
Int. J. Cooperative Inf. Syst. 3(3): 319- (1994) |
| 13 | | Chitta Baral,
Michael Gelfond:
Logic Programming and Knowledge Representation.
J. Log. Program. 19/20: 73-148 (1994) |
| 1993 |
|---|
| 12 | | Chitta Baral,
Michael Gelfond:
Representing Concurrent Actions in Extended Logic Programming.
IJCAI 1993: 866-873 |
| 11 | | Chitta Baral,
Michael Gelfond,
Olga Kosheleva:
Approximating General Logic Programs.
ILPS 1993: 181-198 |
| 10 | | Chitta Baral,
V. S. Subrahmanian:
Dualities Between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning.
J. Autom. Reasoning 10(3): 399-420 (1993) |
| 1992 |
|---|
| 9 | | Chitta Baral:
Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs.
LPAR 1992: 309-319 |
| 8 | | Chitta Baral,
Jorge Lobo,
Jack Minker:
Generalized Disjunctive Well-Founded Semantics for Logic Programs.
Ann. Math. Artif. Intell. 5(2-4): 89-131 (1992) |
| 7 | | Chitta Baral,
Sarit Kraus,
Jack Minker,
V. S. Subrahmanian:
Combining Knowledge Bases Consisting of First-Order Analysis.
Computational Intelligence 8: 45-71 (1992) |
| 6 | | Chitta Baral,
V. S. Subrahmanian:
Stable and Extension Class Theory for Logic Programs and Default Logics.
J. Autom. Reasoning 8(3): 345-366 (1992) |
| 1991 |
|---|
| 5 | | Chitta Baral,
Jorge Lobo,
Jack Minker:
WF³: A Semantics for Negation in Normal Disjunctive Logic Programs.
ISMIS 1991: 459-468 |
| 4 | | Chitta Baral,
Sarit Kraus,
Jack Minker,
V. S. Subrahmanian:
Combining Knowledge Bases Consisting of First Order Theories.
ISMIS 1991: 92-101 |
| 3 | | Chitta Baral,
V. S. Subrahmanian:
Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning (Extended Abstract).
LPNMR 1991: 69-86 |
| 2 | | Chitta Baral,
Sarit Kraus,
Jack Minker:
Combining Multiple Knowledge Bases.
IEEE Trans. Knowl. Data Eng. 3(2): 208-220 (1991) |
| 1990 |
|---|
| 1 | | Chitta Baral,
Jorge Lobo,
Jack Minker:
Generalized Well-founded Semantics for Logic Programs (Extended Abstract).
CADE 1990: 102-116 |
