Chitta Baral

CoRR, 2023

Language-Conditioned Change-point Detection to Identify Sub-Tasks in Robotics Domains.

[BibT_eX]

[DOI]

Divyanshu Raj

Nakul Gopalan

CoRR, 2023

MDDial: A Multi-turn Differential Diagnosis Dialogue Dataset with Reliability Evaluation.

[BibT_eX]

[DOI]

CoRR, 2023

Instruction Tuned Models are Quick Learners.

[BibT_eX]

[DOI]

CoRR, 2023

EDM3: Event Detection as Multi-task Text Generation.

[BibT_eX]

[DOI]

Ujjwala Anantheswaran

CoRR, 2023

Dr.ICL: Demonstration-Retrieved In-context Learning.

[BibT_eX]

[DOI]

CoRR, 2023

Can NLP Models Correctly Reason Over Contexts that Break the Common Assumptions?

[BibT_eX]

[DOI]

CoRR, 2023

Methods and Mechanisms for Interactive Novelty Handling in Adversarial Environments.

[BibT_eX]

[DOI]

Sriram Gopalakrishnan

CoRR, 2023

Exploring the Limits of Transfer Learning with Unified Model in the Cybersecurity Domain.

[BibT_eX]

[DOI]

Kazuaki Kashihara

Ujjwala Anantheswaran

Kirby C. Kuznia

Siddhesh Jagtap

CoRR, 2023

InstructABSA: Instruction Learning for Aspect Based Sentiment Analysis.

[BibT_eX]

[DOI]

CoRR, 2023

Improving Diversity with Adversarially Learned Transformations for Domain Generalization.

[BibT_eX]

[DOI]

Rushil Anirudh

Jayaraman J. Thiagarajan

Bhavya Kailkhura

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2023

Prompt-Based Learning for Thread Structure Prediction in Cybersecurity Forums.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Systems and Applications, 2023

InstructExcel: A Benchmark for Natural Language Instruction in Excel.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

LogicAttack: Adversarial Attacks for Evaluating Logical Consistency of Natural Language Inference.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

How Many Data Samples is an Additional Instruction Worth?

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EACL 2023, 2023

Don't Blame the Annotator: Bias Already Starts in the Annotation Instructions.

[BibT_eX]

[DOI]

Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics, 2023

"John is 50 years old, can his son be 65?" Evaluating NLP Models' Understanding of Feasibility.

[BibT_eX]

[DOI]

Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics, 2023

Real-Time Visual Feedback to Guide Benchmark Creation: A Human-and-Metric-in-the-Loop Workflow.

[BibT_eX]

[DOI]

Chris Bryan

Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics, 2023

Methods and Mechanisms for Interactive Novelty Handling in Adversarial Environments.

[BibT_eX]

[DOI]

Tung Thai

Mudit Verma

Utkarsh Soni

Sriram Gopalakrishnan

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

A Unified Evaluation Framework for Novelty Detection and Accommodation in NLP with an Instantiation in Authorship Attribution.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

Post-Abstention: Towards Reliably Re-Attempting the Abstained Instances in QA.

[BibT_eX]

[DOI]

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

A Study on the Efficiency and Generalization of Light Hybrid Retrievers.

[BibT_eX]

[DOI]

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers), 2023

End-to-end Knowledge Retrieval with Multi-modal Queries.

[BibT_eX]

[DOI]

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

AISecKG: Knowledge Graph Dataset for Cybersecurity Education.

[BibT_eX]

[DOI]

Proceedings of the AAAI 2023 Spring Symposium on Challenges Requiring the Combination of Machine Learning and Knowledge Engineering (AAAI-MAKE 2023), 2023

2022

Benchmarking Spatial Relationships in Text-to-Image Generation.

[BibT_eX]

[DOI]

CoRR, 2022

Learning Action-Effect Dynamics from Pairs of Scene-graphs.

[BibT_eX]

[DOI]

CoRR, 2022

Can Open-Domain QA Reader Utilize External Knowledge Efficiently like Humans?

[BibT_eX]

[DOI]

CoRR, 2022

Pretrained Transformers Do not Always Improve Robustness.

[BibT_eX]

[DOI]

CoRR, 2022

Hardness of Samples Need to be Quantified for a Reliable Evaluation System: Exploring Potential Opportunities with a New Task.

[BibT_eX]

[DOI]

CoRR, 2022

A Survey of Parameters Associated with the Quality of Benchmarks in NLP.

[BibT_eX]

[DOI]

CoRR, 2022

Investigating the Failure Modes of the AUC metric and Exploring Alternatives for Evaluating Systems in Safety Critical Applications.

[BibT_eX]

[DOI]

CoRR, 2022

Reasoning about Actions over Visual and Linguistic Modalities: A Survey.

[BibT_eX]

[DOI]

CoRR, 2022

Let the Model Decide its Curriculum for Multitask Learning.

[BibT_eX]

[DOI]

CoRR, 2022

Benchmarking Generalization via In-Context Instructions on 1, 600+ Language Tasks.

[BibT_eX]

[DOI]

CoRR, 2022

In-BoXBART: Get Instructions into Biomedical Multi-Task Learning.

[BibT_eX]

[DOI]

CoRR, 2022

Choose Your QA Model Wisely: A Systematic Study of Generative and Extractive Readers for Question Answering.

[BibT_eX]

[DOI]

CoRR, 2022

An action language for multi-agent domains.

[BibT_eX]

[DOI]

Artif. Intell., 2022

Towards Improving Selective Prediction Ability of NLP Systems.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Representation Learning for NLP, 2022

In-BoXBART: Get Instructions into Biomedical Multi-Task Learning.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2022, 2022

A Simple Approach to Jointly Rank Passages and Select Relevant Sentences in the OBQA Context.

[BibT_eX]

[DOI]

Shuguang Chen

Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies: Student Research Workshop, 2022

Model Cascading: Towards Jointly Improving Efficiency and Accuracy of NLP Systems.

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

Learning Action-Effect Dynamics for Hypothetical Vision-Language Reasoning Task.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2022, 2022

Is a Question Decomposition Unit All We Need?

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

CRIPP-VQA: Counterfactual Reasoning about Implicit Physical Properties via Video Question Answering.

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

LILA: A Unified Benchmark for Mathematical Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

Less is More: Summary of Long Instructions is Better for Program Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

Lexi: Self-Supervised Learning of the UI Language.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2022, 2022

BioTABQA: Instruction Learning for Biomedical Table Question Answering.

[BibT_eX]

[DOI]

Proceedings of the Working Notes of CLEF 2022 - Conference and Labs of the Evaluation Forum, Bologna, Italy, September 5th - to, 2022

Investigating Selective Prediction Approaches Across Several Tasks in IID, OOD, and Adversarial Settings.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2022, 2022

ILDAE: Instance-Level Difficulty Analysis of Evaluation Data.

[BibT_eX]

[DOI]

Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2022

Unsupervised Natural Language Inference Using PHL Triplet Generation.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2022, 2022

NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks.

[BibT_eX]

[DOI]

Peter Clark

Ashwin Kalyan

Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2022

Cross-Task Generalization via Natural Language Crowdsourcing Instructions.

[BibT_eX]

[DOI]

Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2022

To Find Waldo You Need Contextual Cues: Debiasing Who's Waldo.

[BibT_eX]

[DOI]

Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers), 2022

Reframing Instructional Prompts to GPTk's Language.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2022, 2022

Generalized but not Robust? Comparing the Effects of Data Modification Methods on Out-of-Domain Generalization and Adversarial Robustness.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2022, 2022

Semantically Distributed Robust Optimization for Vision-and-Language Inference.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2022, 2022

Improving Biomedical Information Retrieval with Neural Retrievers.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Biomedical Named Entity Recognition via Knowledge Guidance and Question Answering.

[BibT_eX]

[DOI]

ACM Trans. Comput. Heal., 2021

A Bayesian Approach for Medical Inquiry and Disease Inference in Automated Differential Diagnosis.

[BibT_eX]

[DOI]

Hong Guan

CoRR, 2021

Reframing Instructional Prompts to GPTk's Language.

[BibT_eX]

[DOI]

CoRR, 2021

Interviewer-Candidate Role Play: Towards Developing Real-World NLP Systems.

[BibT_eX]

[DOI]

CoRR, 2021

Natural Instructions: Benchmarking Generalization to New Tasks from Natural Language Instructions.

[BibT_eX]

[DOI]

CoRR, 2021

'Just because you are right, doesn't mean I am wrong': Overcoming a Bottleneck in the Development and Evaluation of Open-Ended Visual Question Answering (VQA) Tasks.

[BibT_eX]

[DOI]

CoRR, 2021

Variable Name Recovery in Decompiled Binary Code using Constrained Masked Language Modeling.

[BibT_eX]

[DOI]

CoRR, 2021

CLEVR_HYP: A Challenge Dataset and Baselines for Visual Question Answering with Hypothetical Actions over Images.

[BibT_eX]

[DOI]

Akshay Kumar

Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2021

Self-Supervised Test-Time Learning for Reading Comprehension.

[BibT_eX]

[DOI]

Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2021

Weakly Supervised Relative Spatial Reasoning for Visual Question Answering.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

Investigating Numeracy Learning Ability of a Text-to-Text Transfer Model.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2021, 2021

Weakly-Supervised Visual-Retriever-Reader for Knowledge-based Question Answering.

[BibT_eX]

[DOI]

Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021

'Just because you are right, doesn't mean I am wrong': Overcoming a bottleneck in development and evaluation of Open-Ended VQA tasks.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: Main Volume, 2021

Commonsense Reasoning with Implicit Knowledge in Natural Language.

[BibT_eX]

[DOI]

Proceedings of the 3rd Conference on Automated Knowledge Base Construction, 2021

Unsupervised Pronoun Resolution via Masked Noun-Phrase Prediction.

[BibT_eX]

[DOI]

Ming Shen

Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, 2021

Constructing Flow Graphs from Procedural Cybersecurity Texts.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: ACL/IJCNLP 2021, 2021

WeaQA: Weak Supervision via Captions for Visual Question Answering.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: ACL/IJCNLP 2021, 2021

Attribute-Guided Adversarial Training for Robustness to Natural Perturbations.

[BibT_eX]

[DOI]

Rushil Anirudh

Bhavya Kailkhura

Jayaraman J. Thiagarajan

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Can Transformers Reason About Effects of Actions?

[BibT_eX]

[DOI]

CoRR, 2020

Self-Supervised VQA: Answering Visual Questions using Images and Captions.

[BibT_eX]

[DOI]

CoRR, 2020

Multi-Perspective Semantic Information Retrieval.

[BibT_eX]

[DOI]

Samarth Rawal

CoRR, 2020

It's better to say "I can't answer" than answering incorrectly: Towards Safety critical NLP systems.

[BibT_eX]

[DOI]

CoRR, 2020

DQI: A Guide to Benchmark Evaluation.

[BibT_eX]

[DOI]

Chris Bryan

CoRR, 2020

Our Evaluation Metric Needs an Update to Encourage Generalization.

[BibT_eX]

[DOI]

CoRR, 2020

Towards Question Format Independent Numerical Reasoning: A Set of Prerequisite Tasks.

[BibT_eX]

[DOI]

CoRR, 2020

DQI: Measuring Data Quality in NLP.

[BibT_eX]

[DOI]

Chris Bryan

CoRR, 2020

Diverse Visuo-Lingustic Question Answering (DVLQA) Challenge.

[BibT_eX]

[DOI]

Shailaja Sampat

CoRR, 2020

Knowledge Fusion and Semantic Knowledge Ranking for Open Domain Question Answering.

[BibT_eX]

[DOI]

CoRR, 2020

Natural Language QA Approaches using Reasoning with External Knowledge.

[BibT_eX]

[DOI]

CoRR, 2020

Language-Conditioned Imitation Learning for Robot Manipulation Tasks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Human-Machine Interaction for Improved Cybersecurity Named Entity Recognition Considering Semantic Similarity.

[BibT_eX]

[DOI]

Kazuaki Kashihara

Jana Shakarian

Proceedings of the Intelligent Systems and Applications, 2020

Semi-Automated Clinical Lexicon Induction and Its Use in Cohort Selection from Clinical Notes.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Healthcare Informatics, 2020

Visuo-Lingustic Question Answering (VLQA) Challenge.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2020, 2020

MUTANT: A Training Paradigm for Out-of-Distribution Generalization in Visual Question Answering.

[BibT_eX]

[DOI]

Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, 2020

Video2Commonsense: Generating Commonsense Descriptions to Enrich Video Captioning.

[BibT_eX]

[DOI]

Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, 2020

Self-Supervised Knowledge Triplet Learning for Zero-Shot Question Answering.

[BibT_eX]

[DOI]

Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, 2020

VQA-LOL: Visual Question Answering Under the Lens of Logic.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2020, 2020

Deeply Embedded Knowledge Representation & Reasoning For Natural Language Question Answering: A Practitioner's Perspective.

[BibT_eX]

[DOI]

Sanjay Narayana

Proceedings of the Fourth Workshop on Structured Prediction for NLP@EMNLP 2020, 2020

Enhancing Natural Language Inference Using New and Expanded Training Data Sets and New Learning Models.

[BibT_eX]

[DOI]

Ishan Shrivastava

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

How Neural Networks (NN) Can (Hopefully) Learn Faster by Taking into Account Known Constraints.

[BibT_eX]

[DOI]

Martine Ceberio

Proceedings of the Decision Making under Constraints, 2020

2019

Imitation Learning of Robot Policies by Combining Language, Vision and Demonstration.

[BibT_eX]

[DOI]

CoRR, 2019

Knowledge Guided Named Entity Recognition.

[BibT_eX]

[DOI]

CoRR, 2019

Exploring ways to incorporate additional knowledge to improve Natural Language Commonsense Question Answering.

[BibT_eX]

[DOI]

CoRR, 2019

A Generate-Validate Approach to Answering Questions about Qualitative Relationships.

[BibT_eX]

[DOI]

CoRR, 2019

Blocksworld Revisited: Learning and Reasoning to Generate Event-Sequences from Image Pairs.

[BibT_eX]

[DOI]

CoRR, 2019

Understanding Roles and Entities: Datasets and Models for Natural Language Inference.

[BibT_eX]

[DOI]

Ishan Shrivastava

CoRR, 2019

Developing and Using Special-Purpose Lexicons for Cohort Selection from Clinical Notes.

[BibT_eX]

[DOI]

CoRR, 2019

Spatial Knowledge Distillation to Aid Visual Reasoning.

[BibT_eX]

[DOI]

Proceedings of the IEEE Winter Conference on Applications of Computer Vision, 2019

Identification of Adverse Drug Reaction Mentions in Tweets - SMM4H Shared Task 2019.

[BibT_eX]

[DOI]

Proceedings of the Fourth Social Media Mining for Health Application Workshop & Shared Task, 2019

Integrating Knowledge and Reasoning in Image Understanding.

[BibT_eX]

[DOI]

Somak Aditya

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Cooking With Blocks : A Recipe for Visual Reasoning on Image-Pairs.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2019

Combining Knowledge Hunting and Neural Language Models to Solve the Winograd Schema Challenge.

[BibT_eX]

[DOI]

Proceedings of the 57th Conference of the Association for Computational Linguistics, 2019

Careful Selection of Knowledge to Solve Open Book Question Answering.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

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

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

Image Understanding using vision and reasoning through Scene Description Graph.

[BibT_eX]

[DOI]

Comput. Vis. Image Underst., 2018

Ask not what your postdoc can do for you ...

[BibT_eX]

[DOI]

Commun. ACM, 2018

Combining Knowledge and Reasoning through Probabilistic Soft Logic for Image Puzzle Solving.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Peter Clark

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.

[BibT_eX]

[DOI]

Somak Aditya

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Epistemic Planning (Dagstuhl Seminar 17231).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2017

Revision and Updates in Possibly Action-Occurrence-Incomplete Narratives.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Zeynep G. Saribatur

Thomas Eiter

Proceedings of the Progress in Artificial Intelligence, 2017

2016

On Selecting a Conjunction Operation in Probabilistic Soft Logic.

[BibT_eX]

[DOI]

CoRR, 2016

Answering Image Riddles using Vision and Reasoning through Probabilistic Soft Logic.

[BibT_eX]

[DOI]

CoRR, 2016

Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016

Learning To Use Formulas To Solve Simple Arithmetic Problems.

[BibT_eX]

[DOI]

Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, 2016

Automatic Extraction of Events-Based Conditional Commonsense Knowledge.

[BibT_eX]

[DOI]

Arpit Sharma

Proceedings of the Knowledge Extraction from Text, 2016

Addressing a Question Answering Challenge by Combining Statistical Methods with Inductive Rule Learning and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

An Action Language for Multi-Agent Domains: Foundations.

[BibT_eX]

[DOI]

CoRR, 2015

From Images to Sentences through Scene Description Graphs using Commonsense Reasoning and Knowledge.

[BibT_eX]

[DOI]

CoRR, 2015

Session Introduction.

[BibT_eX]

[DOI]

Proceedings of the Biocomputing 2015: Proceedings of the Pacific Symposium, 2015

Recognizing Social Constructs from Textual Conversation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Learning to Automatically Solve Logic Grid Puzzles.

[BibT_eX]

[DOI]

Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015

A Non-monotonic Goal Specification Language for Planning with Preferences.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

Identifying Various Kinds of Event Mentions in K-Parser Output.

[BibT_eX]

[DOI]

Proceedings of the The 3rd Workshop on EVENTS: Definition, 2015

The NL2KR Platform for building Natural Language Translation Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2015 AAAI Spring Symposia, 2015

Multi-Agent Action Modeling Through Action Sequences And Perspective Fluents.

[BibT_eX]

[DOI]

Proceedings of the 2015 AAAI Spring Symposia, 2015

Visual Commonsense for Scene Understanding Using Perception, Semantic Parsing and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2015 AAAI Spring Symposia, 2015

Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Knowledge Representation and Reasoning: What's Hot.

[BibT_eX]

[DOI]

Giuseppe De Giacomo

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Translating Simple Legal Text to Formal Representations.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2014

Finitary S5-Theories.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Pathway Specification and Comparative Queries: A High Level Language with Petri Net Semantics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

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

[BibT_eX]

[DOI]

Katsumi Inoue

Theory Pract. Log. Program., 2013

Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

The NL2KR System.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Katsumi Inoue

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Aaron Gottesman

Theory Pract. Log. Program., 2012

Incremental Information Extraction Using Relational Databases.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2012

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

[BibT_eX]

[DOI]

J. Biomed. Informatics, 2012

Typed Answer Set Programming and Inverse Lambda Algorithms

[BibT_eX]

[DOI]

Aaron Gottesman

CoRR, 2012

From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP.

[BibT_eX]

[DOI]

Shanshan Liang

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Shanshan Liang

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Aaron Gottesman

Proceedings of the Correct Reasoning, 2012

2011

Language understanding as a step towards human level intelligence - automatizing the construction of the initial dictionary from example sentences.

[BibT_eX]

[DOI]

CoRR, 2011

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

[BibT_eX]

[DOI]

Comput. Intell., 2011

Logic Programming and Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 5th International Conference, 2011

Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Using Inverse lambda and Generalization to Translate English to Formal Languages.

[BibT_eX]

[DOI]

Jiayu Zhou

Proceedings of the Ninth International Conference on Computational Semantics, 2011

On Representing Actions in Multi-agent Domains.

[BibT_eX]

[DOI]

Gregory Gelfond

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010

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

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2010

Efficient Extraction of Protein-Protein Interactions from Full-Text Articles.

[BibT_eX]

[DOI]

Jörg Hakenberg

Robert Leaman

Siddhartha Jonnalagadda

IEEE ACM Trans. Comput. Biol. Bioinform., 2010

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

[BibT_eX]

[DOI]

Bioinform., 2010

Synthesis of Pharmacokinetic Pathways through Knowledge Acquisition and Automated Reasoning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ian Horrocks

Yoav Shoham

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).

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

GenerIE: Information extraction using database queries.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Knowledge Representation, Reasoning and Declarative Problem Solving.

[BibT_eX]

[DOI]

Cambridge University Press, ISBN: 978-0-521-14775-0, 2010

2009

Probabilistic reasoning with answer sets.

[BibT_eX]

[DOI]

J. Nelson Rushton

Theory Pract. Log. Program., 2009

Fuzzy c-means clustering with prior biological knowledge.

[BibT_eX]

[DOI]

Seungchan Kim

J. Biomed. Informatics, 2009

Hypothesizing about signaling networks.

[BibT_eX]

[DOI]

J. Appl. Log., 2009

State-Based Regression with Sensing and Knowledge.

[BibT_eX]

[DOI]

Richard B. Scherl

Int. J. Softw. Informatics, 2009

Querying Parse Tree Database of Medline Text to Synthesize User-Specific Biomolecular Networks.

[BibT_eX]

[DOI]

Proceedings of the Biocomputing 2009: Proceedings of the Pacific Symposium, 2009

Towards Effective Sentence Simplification for Automatic Processing of Biomedical Text.

[BibT_eX]

[DOI]

Siddhartha Jonnalagadda

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 .

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009

Reasoning about Multi-agent Domains Using Action Language <i>C</i>\mathcal{C}: A Preliminary Study.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2009

2008

Knowledge Representation and Question Answering.

[BibT_eX]

[DOI]

Marcello Balduccini

Yuliya Lierler

Proceedings of the Handbook of Knowledge Representation, 2008

AAAI 2008 Spring Symposia Reports.

[BibT_eX]

[DOI]

AI Mag., 2008

Maintenance goals of agents in a dynamic environment: Formulation and policy construction.

[BibT_eX]

[DOI]

Artif. Intell., 2008

Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Extracting Protein-Protein Interactions from MEDLINE Using Syntactic Roles.

[BibT_eX]

[DOI]

Syed Toufeeq Ahmed

Hasan Davulcu

Proceedings of the 2008 IEEE International Conference on Bioinformatics and Biomedicine, 2008

Organizing Committee.

[BibT_eX]

[DOI]

Marcello Balduccini

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

Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Phan Huy Tu

Theory Pract. Log. Program., 2007

Reasoning about non-immediate triggers in biological networks.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2007

Passage Relevancy Through Semantic Relatedness.

[BibT_eX]

[DOI]

Proceedings of The Sixteenth Text REtrieval Conference, 2007

Mining Gene-Disease Relationships from Biomedical Literature: Weighting Proteinprotein Interactions and Connectivity.

[BibT_eX]

[DOI]

Proceedings of the Biocomputing 2007, 2007

Non-monotonic Temporal Logics for Goal Specification.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning.

[BibT_eX]

[DOI]

Matt Hunsaker

Proceedings of the IJCAI 2007, 2007

Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Signal Process., 2006

Domain-dependent knowledge in answer set planning.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2006

A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2006

AAAI 2006 Spring Symposium Reports.

[BibT_eX]

[DOI]

AI Mag., 2006

ASU at TREC 2006 Genomics Track.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth Text REtrieval Conference, 2006

A Framework for Composition and Inter-operation of Rules in the Semantic Web.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Hiro Takahashi

Proceedings of the Logic Programming, 22nd International Conference, 2006

Using AnsProlog with Link Grammar and WordNet for QA with deep reasoning.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference in Information Technology, 2006

Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming.

[BibT_eX]

[DOI]

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

Organizing Committee.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

Logic Programming and Reasoning about Actions.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

Alan: An Action Language For Modelling Non-Markovian Domains.

[BibT_eX]

[DOI]

Stud Logica, 2005

Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions.

[BibT_eX]

[DOI]

Stud Logica, 2005

Knowledge updates: Semantics and complexity issues.

[BibT_eX]

[DOI]

Yan Zhang

Artif. Intell., 2005

Genomic Information Retrieval Through Selective Extraction and Tagging by the ASU-BioAL Group.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth Text REtrieval Conference, 2005

Understanding the Global Properties of Functionally-Related Gene Networks Using the Gene Ontology.

[BibT_eX]

[DOI]

P. Dasgupta

Proceedings of the Biocomputing 2005, 2005

IntEx: A Syntactic Role Driven Protein-Protein Interaction Extractor for Bio-Medical Text.

[BibT_eX]

[DOI]

Proceedings of the ACL-ISMB Workshop on Linking Biological Literature, 2005

Knowledge-based framework for hypothesis formation in biochemical networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Data Integration in the Life Sciences, Second InternationalWorkshop, 2005

BioLog: A Browser Based Collaboration and Resource Navigation Assistant for BioMedical Researchers.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Data Integration in the Life Sciences, Second InternationalWorkshop, 2005

A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Xin Zhang

Seungchan Kim

Proceedings of the Artificial Intelligence in Medicine, 2005

Answer Set Programming as the Basis for a Homeland Security QAS.

[BibT_eX]

[DOI]

Richard B. Scherl

Proceedings of the AI Technologies for Homeland Security, 2005

Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge.

[BibT_eX]

[DOI]

Carron Shankland

Proceedings of the Proceedings, 2005

Reasoning about Intended Actions.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains.

[BibT_eX]

[DOI]

Thomas Eiter

Proceedings of the Proceedings, 2005

2004

Regression with respect to sensing actions and partial states

[BibT_eX]

[DOI]

CoRR, 2004

Planning with Sensing Actions and Incomplete Information Using Logic Programming.

[BibT_eX]

[DOI]

Phan Huy Tu

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Thomas Eiter

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Regression with Respect to Sensing Actions and Partial States.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

Encoding Probabilistic Causal Model in Probabilistic Action Language.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

Adding Time and Intervals to Procedural and Hierarchical Control Specifications.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

Introduction to the special issue on Programming with Answer Sets.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2003

Representing and reasoning about signal networks: an illustration using NF\kappaB dependent signaling pathways.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE Computer Society Bioinformatics Conference, 2003

2002

AAAI 2002 Workshops.

[BibT_eX]

[DOI]

AI Mag., 2002

Modeling Multimedia Displays Using Action Based Temporal Logic.

[BibT_eX]

Peter A. Cooper

Proceedings of the Visual and Multimedia Information Management, 2002

The Complexity of Model Checking for Knowledge Update.

[BibT_eX]

Yan Zhang

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.

[BibT_eX]

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

Reasoning about Actions in a Probabilistic Setting.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2001

Formalizing and Reasoning About the Requirements Specifications of Workflow Systems.

[BibT_eX]

[DOI]

Goce Trajcevski

Int. J. Cooperative Inf. Syst., 2001

Formalizing sensing actions A transition function based approach.

[BibT_eX]

[DOI]

Artif. Intell., 2001

Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach.

[BibT_eX]

[DOI]

Sheila A. McIlraith

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming.

[BibT_eX]

[DOI]

Cenk Uyan

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

On the Semantics of Knowledge Update.

[BibT_eX]

Yan Zhang

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Computational Complexity of Planning with Temporal Goals.

[BibT_eX]

Raul Trejo

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Effect of knowledge representation on model based planning: experiments using logic programming encodings.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2001

Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs.

[BibT_eX]

[DOI]

Sheila A. McIlraith

Proceedings of the Answer Set Programming, 2001

2000

Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000

[BibT_eX]

[DOI]

Miroslaw Truszczynski

CoRR, 2000

Computational complexity of planning and approximate planning in the presence of incompleteness.

[BibT_eX]

[DOI]

Raul Trejo

Artif. Intell., 2000

Abductive reasoning through filtering.

[BibT_eX]

[DOI]

Artif. Intell., 2000

Formulating diagnostic problem solving using an action language with narratives and sensing.

[BibT_eX]

Sheila A. McIlraith

Proceedings of the KR 2000, 2000

Formalizing (and Reasoning About) the Specifications of Workflows.

[BibT_eX]

[DOI]

Goce Trajcevski

Proceedings of the Cooperative Information Systems, 7th International Conference, 2000

Invariance, Maintenance, and Other Declarative Objectives of Triggers - A Formal Characterization of Active Databases.

[BibT_eX]

[DOI]

Mutsumi Nakamura

Proceedings of the Computational Logic, 2000

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

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

Towards Feasible Approach to Plan Checking under Probabilistic Uncertainty: Interval Methods.

[BibT_eX]

[DOI]

Raul Trejo

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.

[BibT_eX]

[DOI]

Mutsumi Nakamura

Marcus Bjäreland

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

Specifying Generic Multimedia 3D Visualizations and Temporal Presentations from Database Queries.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

Extending ConGolog to Allow Partial Ordering.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents VI, 1999

1998

Conceptual Modeling and Querying in Multimedia Databases.

[BibT_eX]

[DOI]

Multim. Tools Appl., 1998

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

[BibT_eX]

[DOI]

Robert P. Goldman

Knowl. Eng. Rev., 1998

Expanding Queries to Incomplete Databases by Interpolating General Logic Programs.

[BibT_eX]

[DOI]

Olga Kosheleva

J. Log. Program., 1998

Relating Theories of Actions and Reactive Control.

[BibT_eX]

[DOI]

Electron. Trans. Artif. Intell., 1998

Formalizing Narratives Using Nested Circumscription.

[BibT_eX]

[DOI]

Alfredo Gabaldon

Artif. Intell., 1998

Value Minimization in Circumscription.

[BibT_eX]

[DOI]

Alfredo Gabaldon

Artif. Intell., 1998

SQL+D: Extended Display Capabilities for Multimedia Database Queries.

[BibT_eX]

[DOI]

Amarendra Nandigam

Proceedings of the 6th ACM International Conference on Multimedia '98, 1998

Design and Implementation of Display Specification for Multimedia Answers.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Autonomous Agents, 1998

1997

Representing Actions: Laws, Observations and Hypotheses.

[BibT_eX]

[DOI]

J. Log. Program., 1997

Reasoning About Effects of Concurrent Actions.

[BibT_eX]

[DOI]

J. Log. Program., 1997

Embedding Revision Programs in Logic Programming Situation Calculus.

[BibT_eX]

[DOI]

J. Log. Program., 1997

Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions.

[BibT_eX]

[DOI]

Vladimir Lifschitz

Ann. Math. Artif. Intell., 1997

Relating Logic Programming Theories of Actions and Partial Order Planning.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1997

Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information.

[BibT_eX]

Proceedings of the Logic Programming, 1997

Defeasible Specifications in Action Theories.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Formal Characterizations of Active Databases: Part II.

[BibT_eX]

[DOI]

Goce Trajcevski

Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997

From Action Theories to Updates, Transactions, Triggers and Agents - A Tutorial.

[BibT_eX]

[DOI]

Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997

1996

Formal Characterization of Active Databases.

[BibT_eX]

[DOI]

Proceedings of the Logic in Databases, 1996

A Reactive Mobile Robot Based on a Formal Theory of Action.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

Logic Programming and Knowledge Representation.

[BibT_eX]

[DOI]

J. Log. Program., 1994

Combining Default Logic Databases.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 1994

Varying Selection Functions to Relate Conditional Logics and Preferential Models.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1994

Rule Based Updates on Simple Knowledge Bases.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

V. S. Subrahmanian

J. Autom. Reason., 1993

Maintaining the Truth of Specifications in Evolutionary Software.

[BibT_eX]

[DOI]

C. V. Ramamoorthy

Daniel E. Cooke

Int. J. Artif. Intell. Tools, 1993

Approximating General Logic Programs.

[BibT_eX]

Olga Kosheleva

Proceedings of the Logic Programming, 1993

Representing Concurrent Actions in Extended Logic Programming.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

V. S. Subrahmanian

J. Autom. Reason., 1992

Combining Knowledge Bases Consisting of First-Order Analysis.

[BibT_eX]

[DOI]

Comput. Intell., 1992

Generalized Disjunctive Well-Founded Semantics for Logic Programs.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1992

Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 1992

1991

Combining Multiple Knowledge Bases.

[BibT_eX]

[DOI]

Sarit Kraus

IEEE Trans. Knowl. Data Eng., 1991

Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning (Extended Abstract).

[BibT_eX]

V. S. Subrahmanian

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

WF³: A Semantics for Negation in Normal Disjunctive Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

Combining Knowledge Bases Consisting of First Order Theories.

[BibT_eX]

[DOI]

Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

1990

Generalized Well-founded Semantics for Logic Programs (Extended Abstract).

[BibT_eX]

[DOI]