dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Chitta Baral Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Tari, Phan Huy Tu, Jörg Hakenberg, Yi Chen, Tran Cao Son, Graciela Gonzalez, Chitta Baral: Incremental Information Extraction Using Relational Databases. IEEE Trans. Knowl. Data Eng. 24(1): 86-99 (2012)
2011
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral: Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages. LPNMR 2011: 12
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Gregory Gelfond: On Representing Actions in Multi-agent Domains. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 213-232
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral: Logic Programming and Uncertainty. SUM 2011: 22-37
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Jiayu Zhou: Using Inverse lambda and Generalization to Translate English to Formal Languages CoRR abs/1108.3843: (2011)
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Juraj Dzifcak: Language understanding as a step CoRR abs/1108.3848: (2011)
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Juraj Dzifcak: Solving puzzles described in CoRR abs/1108.3850: (2011)
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hakenberg, Illés Solt, Domonkos Tikk, Nguyen Ha Vo, Luis Tari, Quang Long Nguyen, Chitta Baral, Ulf Leser: Molecular Event Extraction from Link Grammar Parse Trees in the BioNLP'09 Shared Task. Computational Intelligence 27(4): 665-680 (2011)
2010
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Gregory Gelfond, Tran Cao Son, Enrico Pontelli: Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. AAMAS 2010: 259-266
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Tari, Phan Huy Tu, Jörg Hakenberg, Yi Chen, Tran Cao Son, Graciela Gonzalez, Chitta Baral: GenerIE: Information extraction using database queries. ICDE 2010: 1121-1124
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Ian Horrocks, Yoav Shoham: Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. KR 2010
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral: Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract). KR 2010
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Tari, Saadat Anwar, Shanshan Liang, Jörg Hakenberg, Chitta Baral: Synthesis of Pharmacokinetic Pathways through Knowledge Acquisition and Automated Reasoning. Pacific Symposium on Biocomputing 2010: 465-476
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdrien Coulet, Nigam H. Shah, Lawrence Hunter, Chitta Baral, Russ B. Altman: Extraction of Genotype-Phenotype-Drug Relationships from Text: From Entity Recognition to Bioinformatics Application. Pacific Symposium on Biocomputing 2010: 485-487
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Tari, Saadat Anwar, Shanshan Liang, James Cai, Chitta Baral: Discovering drug-drug interactions: a text-mining and reasoning approach based on properties of drug metabolism. Bioinformatics 26(18): (2010)
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSiddhartha 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)
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son: Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study CoRR abs/1007.3700: (2010)
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hakenberg, Robert Leaman, Nguyen Ha Vo, Siddhartha Jonnalagadda, Ryan Sullivan, Christopher Miller, Luis Tari, Chitta Baral, Graciela Gonzalez: Efficient Extraction of Protein-Protein Interactions from Full-Text Articles. IEEE/ACM Trans. Comput. Biology Bioinform. 7(3): 481-494 (2010)
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son: Logic programming for finding models in the logics of knowledge and its applications: A case study. TPLP 10(4-6): 675-690 (2010)
2009
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Tran Cao Son, Enrico Pontelli: Reasoning about Multi-agent Domains Using Action Language C\mathcal{C}: A Preliminary Study. CLIMA 2009: 46-63
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSiddhartha Jonnalagadda, Luis Tari, Jörg Hakenberg, Chitta Baral, Graciela Gonzalez: Towards Effective Sentence Simplification for Automatic Processing of Biomedical Text. HLT-NAACL (Short Papers) 2009: 177-180
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuraj 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
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Tran Cao Son, Enrico Pontelli: Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . LPNMR 2009: 409-415
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Tari, Jörg Hakenberg, Graciela Gonzalez, Chitta Baral: Querying Parse Tree Database of Medline Text to Synthesize User-Specific Biomolecular Networks. Pacific Symposium on Biocomputing 2009: 87-98
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard B. Scherl, Tran Cao Son, Chitta Baral: State-Based Regression with Sensing and Knowledge. Int. J. Software and Informatics 3(1): 3-30 (2009)
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNam Tran, Chitta Baral: Hypothesizing about signaling networks. J. Applied Logic 7(3): 253-274 (2009)
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Tari, Chitta Baral, Seungchan Kim: Fuzzy c-means clustering with prior biological knowledge. Journal of Biomedical Informatics 42(1): 74-81 (2009)
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond, J. Nelson Rushton: Probabilistic reasoning with answer sets. TPLP 9(1): 57-144 (2009)
2008
124no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Jicheng Zhao: Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals. AAAI 2008: 406-411
123no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta 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
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini, Chitta Baral: Organizing Committee. AAAI Spring Symposium: Emotion, Personality, and Social Behavior 2008
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSyed Toufeeq Ahmed, Hasan Davulcu, Chitta Baral: Extracting Protein-Protein Interactions from MEDLINE Using Syntactic Roles. BIBM 2008: 473-476
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral: Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions. ICLP 2008: 69-70
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard B. Scherl, Tran Cao Son, Chitta Baral: State-Based Regression with Sensing and Knowledge. PRICAI 2008: 345-357
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini, Chitta Baral, Boyan Brodaric, Simon Colton, Peter Fox, David Gutelius, Knut Hinkelmann, Ian Horswill, Bernardo A. Huberman, Eva Hudlicka, Kristina Lerman, Christine L. Lisetti, Deborah L. McGuinness, Mary Lou Maher, Mark A. Musen, Mehran Sahami, Derek H. Sleeman, Barbara Thönssen, Juan D. Velásquez, Dan Ventura: AAAI 2008 Spring Symposia Reports. AI Magazine 29(3): 107-115 (2008)
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta 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)
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond, J. Nelson Rushton: Probabilistic reasoning with answer sets CoRR abs/0812.0659: (2008)
2007
115no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta 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
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Juraj Dzifcak, Luis Tari: Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs. ICLP 2007: 1-21
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Jicheng Zhao: Non-monotonic Temporal Logics for Goal Specification. IJCAI 2007: 236-242
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Matt Hunsaker: Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning. IJCAI 2007: 243-249
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGraciela 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
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Tari, Phan Huy Tu, Barry Lumpkin, Robert Leaman, Graciela Gonzalez, Chitta Baral: Passage Relevancy Through Semantic Relatedness. TREC 2007
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNam Tran, Chitta Baral: Reasoning about non-immediate triggers in biological networks. Ann. Math. Artif. Intell. 51(2-4): 267-293 (2007)
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhan 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
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Jicheng Zhao: Goal Specification, Non-Determinism and Quantifying over Policies. AAAI 2006: 231-237
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Saadat Anwar, Juraj Dzifcak: Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering 2006: 1-9
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral: Organizing Committee. AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering 2006
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Luis Tari: Using AnsProlog with Link Grammar and WordNet for QA with deep reasoning. ICIT 2006: 125-128
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Juraj Dzifcak, Hiro Takahashi: Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. ICLP 2006: 376-390
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Tran Cao Son, Chitta Baral: A Framework for Composition and Inter-operation of Rules in the Semantic Web. RuleML 2006: 39-50
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Tari, Graciela Gonzalez, Robert Leaman, Shawn Nikkila, Ryan Wendt, Chitta Baral: ASU at TREC 2006 Genomics Track. TREC 2006
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTran 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)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Abecker, Rachid Alami, Chitta Baral, Timothy W. Bickmore, Edmund H. Durfee, Terry Fong, Mehmet H. Göker, Nancy Green, Mark Liberman, Christian Lebiere, James H. Martin, Gregoris Mentzas, David J. Musliner, Nicolas Nicolov, Illah R. Nourbakhsh, Franco Salvetti, Daniel G. Shapiro, Debbie Schrekenghost, Amit P. Sheth, Ljiljana Stojanovic, Vytas SunSpiral, Robert E. Wray: AAAI 2006 Spring Symposium Reports. AI Magazine 27(3): 107-112 (2006)
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhan 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)
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLe-Chi Tuan, Chitta Baral, Tran Cao Son: A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information CoRR abs/cs/0609111: (2006)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXin 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)
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLe-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
94no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta 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
93no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta 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
92no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNam Tran, Chitta Baral, Carran Shankland: Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge. AAAI 2005: 676-681
91no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond: Reasoning about Intended Actions. AAAI 2005: 689-694
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond, Richard B. Scherl: Answer Set Programming as the Basis for a Homeland Security QAS. AAAI Spring Symposium: AI Technologies for Homeland Security 2005: 149-150
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXin 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
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Tari, Chitta Baral, Saadat Anwar: A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling. Answer Set Programming 2005
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNam Tran, Chitta Baral, Vinay J. Nagaraj, Lokesh Joshi: Knowledge-Based Integrative Framework for Hypothesis Formation in Biochemical Networks. DILS 2005: 121-136
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhdeep 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
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta 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
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNam Tran, Chitta Baral, Vinay J. Nagaraj, Lokesh Joshi: Knowledge-based framework for hypothesis formation in biochemical networks. ECCB/JBI 2005: 219
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Tari, Chitta Baral, P. Dasgupta: Understanding the Global Properties of Functionally-Related Gene Networks Using the Gene Ontology. Pacific Symposium on Biocomputing 2005
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLian 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
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Yan Zhang: Knowledge updates: Semantics and complexity issues. Artif. Intell. 164(1-2): 209-243 (2005)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGraciela Gonzalez, Chitta Baral, Michael Gelfond: Alan: An Action Language For Modelling Non-Markovian Domains. Studia Logica 79(1): 115-134 (2005)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta 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
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNam Tran, Chitta Baral: Encoding Probabilistic Causal Model in Probabilistic Action Language. AAAI 2004: 305-310
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLe-Chi Tuan, Chitta Baral, Xin Zhang, Tran Cao Son: Regression with Respect to Sensing Actions and Partial States. AAAI 2004: 556-561
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTran Cao Son, Chitta Baral, Le-Chi Tuan: Adding Time and Intervals to Procedural and Hierarchical Control Specifications. AAAI 2004: 92-97
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Jicheng Zhao: Goal Specification in Presence of Non-Deterministic Actions. ECAI 2004: 273-277
74no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Thomas Eiter: A Polynomial Time Algorithm for Constructing k-Maintainable Policies. ICAPS 2004: 111-121
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta 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
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNam Tran, Chitta Baral: Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells. KR 2004: 554-564
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Thomas Eiter: A Polynomial-Time Algorithm for Constructing k-Maintainable Policies. KR 2004: 720-730
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond, J. Nelson Rushton: Probabilistic Reasoning With Answer Sets. LPNMR 2004: 21-33
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTran Cao Son, Phan Huy Tu, Chitta Baral: Planning with Sensing Actions and Incomplete Information Using Logic Programming. LPNMR 2004: 261-274
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLe-Chi Tuan, Chitta Baral, Tran Cao Son: Regression with respect to sensing actions and partial states CoRR cs.AI/0405071: (2004)
2003
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta 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
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Alessandro Provetti, Tran Cao Son: Introduction to the special issue on Programming with Answer Sets. TPLP 3(4-5): 387-391 (2003)
2002
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Nam Tran, Le-Chi Tuan: Reasoning about Actions in a Probabilistic Setting. AAAI/IAAI 2002: 507-512
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Tran Cao Son, Le-Chi Tuan: A Transition Function Based Characterization of Actions with Delayed and Continuous Effects. KR 2002: 291-302
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Yan Zhang: The Complexity of Model Checking for Knowledge Update. KR 2002: 82-96
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGraciela Gonzalez, Chitta Baral, Peter A. Cooper: Modeling Multimedia Displays Using Action Based Temporal Logic. VDB 2002: 141-155
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. 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)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith: Domain-Dependent Knowledge in Answer Set Planning CoRR cs.AI/0207023: (2002)
2001
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLe-Chi Tuan, Chitta Baral: Effect of knowledge representation on model based planning: experiments using logic programming encodings. Answer Set Programming 2001
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTran 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
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Vladik Kreinovich, Raul Trejo: Computational Complexity of Planning with Temporal Goals. IJCAI 2001: 509-514
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Yan Zhang: On the Semantics of Knowledge Update. IJCAI 2001: 97-102
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Cenk Uyan: Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming. LPNMR 2001: 186-199
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTran 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
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTran Cao Son, Chitta Baral: Formalizing sensing actions A transition function based approach. Artif. Intell. 125(1-2): 19-91 (2001)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGoce 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)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaul 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
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaul Trejo, Vladik Kreinovich, Chitta Baral: Towards Feasible Approach to Plan Checking under Probabilistic Uncertainty: Interval Methods. AAAI/IAAI 2000: 545-550
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMutsumi Nakamura, Chitta Baral, Marcus Bjäreland: Maintainability: A Weaker Stabilizability Like Notion for High Level Control. AAAI/IAAI 2000: 62-67
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMutsumi Nakamura, Chitta Baral: Invariance, Maintenance, and Other Declarative Objectives of Triggers - A Formal Characterization of Active Databases. Computational Logic 2000: 1210-1224
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGoce Trajcevski, Chitta Baral, Jorge Lobo: Formalizing (and Reasoning About) the Specifications of Workflows. CoopIS 2000: 1-17
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Sheila A. McIlraith, Tran Cao Son: Formulating diagnostic problem solving using an action language with narratives and sensing. KR 2000: 311-322
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral: Abductive reasoning through filtering. Artif. Intell. 120(1): 1-28 (2000)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta 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)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Miroslaw Truszczynski: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000 CoRR cs.AI/0003073: (2000)
1999
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Tran Cao Son: Extending ConGolog to Allow Partial Ordering. ATAL 1999: 188-204
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Graciela Gonzalez: Specifying Generic Multimedia 3D Visualizations and Temporal Presentations from Database Queries. ICMCS, Vol. 1 1999: 550-555
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Vladik Kreinovich, Raul Trejo: Computational Complexity of Planning and Approximate Planning in Presence of Incompleteness. IJCAI 1999: 948-955
1998
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Graciela Gonzalez, Amarendra Nandigam: SQL+D: Extended Display Capabilities for Multimedia Database Queries. ACM Multimedia 1998: 109-114
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Graciela Gonzalez, Tran Cao Son: Design and Implementation of Display Specification for Multimedia Answers. ICDE 1998: 558-565
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Alfredo Gabaldon, Alessandro Provetti: Value Minimization in Circumscription. Artif. Intell. 102(2): 163-186 (1998)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Alfredo Gabaldon, Alessandro Provetti: Formalizing Narratives Using Nested Circumscription. Artif. Intell. 104(1-2): 107-164 (1998)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Tran Cao Son: Relating Theories of Actions and Reactive Control. Electron. Trans. Artif. Intell. 2: 211-271 (1998)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond, Olga Kosheleva: Expanding Queries to Incomplete Databases by Interpolating General Logic Programs. J. Log. Program. 35(3): 195-230 (1998)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Graciela Gonzalez, Tran Cao Son: Conceptual Modeling and Querying in Multimedia Databases. Multimedia Tools Appl. 7(1/2): 37-66 (1998)
1997
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Jorge Lobo, Goce Trajcevski: Formal Characterizations of Active Databases: Part II. DOOD 1997: 247-264
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Jorge Lobo: From Action Theories to Updates, Transactions, Triggers and Agents - A Tutorial. DOOD 1997: 26-32
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Jorge Lobo: Defeasible Specifications in Action Theories. IJCAI 1997: 1441-1446
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Tran Cao Son: Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information. ILPS 1997: 387-401
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Vladik Kreinovich, Vladimir Lifschitz: Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions. Ann. Math. Artif. Intell. 21(2-4): 129 (1997)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral: Relating Logic Programming Theories of Actions and Partial Order Planning. Ann. Math. Artif. Intell. 21(2-4): 131-151 (1997)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral: Embedding Revision Programs in Logic Programming Situation Calculus. J. Log. Program. 30(1): 83-97 (1997)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond, Alessandro Provetti: Representing Actions: Laws, Observations and Hypotheses. J. Log. Program. 31(1-3): 201-243 (1997)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond: Reasoning About Effects of Concurrent Actions. J. Log. Program. 31(1-3): 85-117 (1997)
1996
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Alfredo Gabaldon, Alessandro Provetti: Formalizing Narratives Using Nested Circumscription. AAAI/IAAI, Vol. 1 1996: 652-657
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta 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
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Alfredo Gabaldon, Alessandro Provetti: Value Minimization in Circumscription. KR 1996: 474-481
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Jorge Lobo: Formal Characterization of Active Databases. Logic in Databases 1996: 175-195
1995
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral: Reasoning about actions: Non-deterministic effects, Constraints, and Qualification. IJCAI 1995: 2017-2026
1994
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral: Rule Based Updates on Simple Knowledge Bases. AAAI 1994: 136-141
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral: Varying Selection Functions to Relate Conditional Logics and Preferential Models. Fundam. Inform. 21(4): 307-319 (1994)
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian: Combining Default Logic Databases. Int. J. Cooperative Inf. Syst. 3(3): 319- (1994)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond: Logic Programming and Knowledge Representation. J. Log. Program. 19/20: 73-148 (1994)
1993
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond: Representing Concurrent Actions in Extended Logic Programming. IJCAI 1993: 866-873
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond, Olga Kosheleva: Approximating General Logic Programs. ILPS 1993: 181-198
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, V. S. Subrahmanian: Dualities Between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning. J. Autom. Reasoning 10(3): 399-420 (1993)
1992
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral: Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs. LPAR 1992: 309-319
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Jorge Lobo, Jack Minker: Generalized Disjunctive Well-Founded Semantics for Logic Programs. Ann. Math. Artif. Intell. 5(2-4): 89-131 (1992)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian: Combining Knowledge Bases Consisting of First-Order Analysis. Computational Intelligence 8: 45-71 (1992)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, V. S. Subrahmanian: Stable and Extension Class Theory for Logic Programs and Default Logics. J. Autom. Reasoning 8(3): 345-366 (1992)
1991
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Jorge Lobo, Jack Minker: WF³: A Semantics for Negation in Normal Disjunctive Logic Programs. ISMIS 1991: 459-468
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian: Combining Knowledge Bases Consisting of First Order Theories. ISMIS 1991: 92-101
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, V. S. Subrahmanian: Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning (Extended Abstract). LPNMR 1991: 69-86
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Sarit Kraus, Jack Minker: Combining Multiple Knowledge Bases. IEEE Trans. Knowl. Data Eng. 3(2): 208-220 (1991)
1990
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Jorge Lobo, Jack Minker: Generalized Well-founded Semantics for Logic Programs (Extended Abstract). CADE 1990: 102-116

Coauthor Index

1Andreas Abecker [99]
2Syed Toufeeq Ahmed [82] [121]
3Rachid Alami [99]
4Russ B. Altman [139]
5Frank D. Anger [61]
6Saadat Anwar [88] [106] [138] [140]
7Marcello Balduccini [118] [122]
8Michael E. Berens [73]
9R. Bhimavarapu [86]
10Timothy W. Bickmore [99]
11Michael L. Bittner [86]
12Marcus Bjäreland [49] [117]
13M. Brian Blake [61]
14Paolo Bouquet [61]
15Michael Brenner [61]
16Gerhard Brewka [115]
17Boyan Brodaric [118]
18Colleen Brophy [111]
19James Cai [138]
20Karen Chancellor [67] [73]
21Yi Chen [143] [152]
22Simon Colton [118]
23Peter A. Cooper [62]
24Adrien Coulet [139]
25P. Dasgupta [83]
26Hasan Davulcu [85] [86] [121]
27James P. Delgrande [61]
28Jon Doyle [61]
29Edmund H. Durfee [99]
30Juraj Dzifcak [103] [106] [114] [123] [131] [146] [147] [148]
31Thomas Eiter [71] [74] [93] [117]
32Rino Falcone [61]
33Luis Floriano [20] [37]
34Terrence Fong (Terry Fong) [99]
35Peter Fox [118]
36Alfredo Gabaldon [19] [20] [21] [34] [35]
37Joel Galloway [51]
38Gregory Gelfond [134] [136] [144] [150]
39Michael Gelfond [11] [12] [13] [22] [23] [32] [70] [80] [90] [91] [116] [125]
40Piotr J. Gmytrasiewicz [61]
41Mehmet H. Göker [99]
42Carla P. Gomes [61]
43Graciela Gonzalez [31] [36] [38] [40] [62] [80] [82] [101] [110] [111] [129] [132] [135] [137] [143] [152]
44Marcos Alvarez Gonzalez [148]
45Gianluigi Greco [94]
46Nancy Green [99]
47Hans W. Guesgen (Hans Werner Guesgen) [61]
48Haipeng Guo [61]
49David Gutelius [118]
50Karen Zita Haigh [61]
51Jörg Hakenberg [129] [132] [135] [137] [140] [143] [145] [152]
52Aaron Hardesty [37]
53Henry Hexmoor [61]
54Knut Hinkelmann [118]
55Ian Horrocks [142]
56Ian Horswill [118]
57Eric Horvitz [61]
58Bernardo A. Huberman [118]
59Eva Hudlicka [118]
60Matt Hunsaker [112]
61Lawrence Hunter [139]
62Nancy Ide [61]
63Siddhartha Jonnalagadda [132] [135] [137]
64Lokesh Joshi [84] [87]
65Anna M. Joy [73]
66Ulrich Junker [61]
67Seungchan Kim [86] [89] [96] [126]
68Olga Kosheleva [11] [32]
69Sarit Kraus [2] [4] [7] [14]
70Vladik Kreinovich [26] [39] [43] [47] [50] [51] [57]
71Antonio Krüger [61]
72Koichi Kurumantani [61]
73Robert Leaman [101] [110] [135]
74Christian Lebiere [99]
75Nicola Leone [94]
76Kristina Lerman [118]
77Ulf Leser [145]
78Shanshan Liang [138] [140]
79Mark Liberman [99]
80Vladimir Lifschitz [26]
81Gérard Ligozat (Gerard Ligozat) [61]
82Christine L. Lisetti (Christine Lætitia Lisetti) [118]
83Huan Liu [86]
84Jorge Lobo [1] [5] [8] [18] [28] [29] [30] [46] [52]
85Brendan Logsdon [82]
86Barry Lumpkin [110]
87Mary Lou Maher [118]
88Rainer Malaka [61]
89James H. Martin [99]
90Deborah L. McGuinness [118]
91Sheila A. McIlraith [45] [54] [58] [60] [61] [100]
92Gregoris Mentzas (Gregory Mentzas) [99]
93Christopher Miller [135]
94Jack Minker [1] [2] [4] [5] [7] [8] [14]
95David Morales [20] [37]
96Mark A. Musen [118]
97David J. Musliner [99]
98Vinay J. Nagaraj [84] [87]
99Mutsumi Nakamura [48] [49] [82] [85] [117]
100Tran Hoai Nam [60]
101Amarendra Nandigam [38]
102Quang Long Nguyen [145]
103Nicolas Nicolov [99]
104Shawn Nikkila [82] [101]
105Monica Nogueira [37]
106Illah R. Nourbakhsh [99]
107Simon Parsons [61]
108Adam Pease [61]
109Enrico Pontelli [102] [130] [133] [134] [136] [144]
110Alessandro Provetti [19] [21] [23] [34] [35] [66]
111I. V. Ramakrishnan [86]
112Francesca Rossi [61]
113J. Nelson Rushton [70] [116] [125]
114Charanjiv Sachar [51]
115Mehran Sahami [118]
116Franco Salvetti [99]
117Torsten Schaub [61]
118Richard B. Scherl [90] [119] [128]
119Paul W. Schermerhorn [131]
120Matthias Scheutz [131]
121John S. Schlipf [115]
122Debbie Schrekenghost [99]
123Kalpesh Shah [82]
124Nigam H. Shah (Nigam Shah, N. H. Shah) [139]
125Carran Shankland [92]
126Daniel G. Shapiro [99]
127Amit P. Sheth [99]
128Yoav Shoham [142]
129Prabhdeep Singh [85] [86]
130Derek H. Sleeman [118]
131Bill Smart [61]
132Leen-Kiat Soh [61]
133Illés Solt [145]
134Tran Cao Son [20] [27] [31] [33] [36] [37] [41] [45] [53] [54] [58] [60] [64] [66] [68] [69] [76] [77] [95] [97] [98] [100] [102] [108] [119] [123] [128] [130] [133] [134] [136] [143] [144] [152]
135Ljiljana Stojanovic [99]
136V. S. Subrahmanian [3] [4] [6] [7] [10] [14]
137Ryan Sullivan [135]
138Vytas SunSpiral [99]
139Hiro Takahashi [103]
140Luis Tari [82] [83] [85] [88] [101] [104] [110] [111] [114] [126] [129] [132] [135] [137] [138] [140] [143] [145] [152]
141Giorgio Terracina [94]
142Barbara Thönssen [118]
143Domonkos Tikk [145]
144Goce Trajcevski [30] [46] [52]
145Nam Tran [65] [67] [72] [73] [78] [79] [84] [87] [92] [100] [109] [127]
146Nhan Tran [67] [73]
147Raul Trejo [39] [43] [47] [50] [51] [57]
148Miroslaw Truszczynski [42]
149Phan Huy Tu [69] [98] [108] [110] [143] [152]
150Le-Chi Tuan [47] [51] [59] [64] [65] [68] [76] [77] [95] [97]
151Juan C. Uribe [111]
152Cenk Uyan [55]
153Juan D. Velásquez [118]
154Dan Ventura [118]
155Nguyen Ha Vo [135] [145]
156Toby Walsh [61]
157Tie Wang [96]
158Richard G. Watson [20]
159Christopher A. Welty (Chris Welty) [61]
160Ryan Wendt [82] [101]
161Robert E. Wray [99]
162Lian Yu [82] [85]
163Amanda Zeigler [82]
164Yan Zhang [56] [63] [81]
165Xin Zhang [77] [89] [96]
166Jicheng Zhao [75] [93] [107] [113] [124]
167Jiayu Zhou [148]
168Marie desJardins [61]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page