Representing Biological Processes in Modular Action Language ALM

No abstract is available for this paper.

• Publication year

  2011

• Venue

  AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning

• Publication date

  2011-03-20

• Fields of study

  Biology, Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Computing Trajectories of Dynamic Systems Using ASP and F lora-2

  2010cited by this paper
• Yet Another Modular Action Language

  2009cited by this paper
• Transforming Controlled Natural Language Biomedical Queries into Answer Set Programs

  2009cited by this paper
• Handbook of Knowledge Representation

  2008cited by this paper
• Conflict-Driven Answer Set Solving

  2007cited by this paper
• Reasoning about non-immediate triggers in biological networks

  2007cited by this paper
• Going Places: Notes on a Modular Development of Knowledge about Travel

  2006cited by this paper
• Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge

  2005cited by this paper
• Textual inference by combining multiple Logic programming paradigms

  2005cited by this paper
• Reasoning about Intended Actions

  2005cited by this paper
• Nonmonotonic Reasoning in FLORA-2

  2005cited by this paper
• A knowledge based approach for representing and reasoning about signaling networks

  2004cited by this paper
• Using answer set programming to answer complex queries

  2004cited by this paper
• Reasoning agents in dynamic domains

  2000cited by this paper
• Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach

  1997cited by this paper
• The well-founded semantics for general logic programs

  1991cited by this paper
• Classical negation in logic programs and disjunctive databases

  1991cited by this paper
• Nonmonotonic Reasoning

  1988cited by this paper
• Biology

  1929cited by this paper
• Handbook of Knowledge Representation Edited Knowledge Representation and Question Answering

  year unknowncited by this paper

• Temporal Answer Set Programming

  2020cites this paper
• An Application of ASP Theories of Intentions to Understanding Restaurant Scenarios: Insights and Narrative Corpus

  2018influential citation
• A CLIB-Inspired Library of Commonsense Knowledge in Modular Action Language ALM

  2015cites this paper
• Reasoning about interruption of biological processes

  2015cites this paper
• On the Relationship Between Two Modular Action Languages: A Translation from MAD into ALM ALM

  2015cites this paper
• Representing States in a Biology Textbook

  2015cites this paper
• Temporal Answer Set Programming

  2015cites this paper
• Representing Actions in Logic-based Languages

  2014cites this paper
• Mobile Robot Planning using Action Language BC with Hierarchical Domain Abstractions

  2014cites this paper
• Proposal for Using NLP Interchange Format for Question Answering in Organizations

  2013cites this paper
• Process Representation Using Transaction Logic

  2013cites this paper
• Progression of Decomposed Situation Calculus Theories

  2013cites this paper
• "What if there was no oxygen?": responding to hypothetical questions in an intelligent tutoring agent

  2013cites this paper
• Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming

  2012cites this paper
• Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions

  2012cites this paper
• Extending C+ with Composite Actions for Robotic Task Planning

  2012cites this paper
• Extending action language C+ by formalizing composite actions

  2012cites this paper
• Process Interruption Reasoning

  2012cites this paper
• Modular action language ALM for dynamic domain representation

  2012cites this paper
• Under Consideration for Publication in Theory and Practice of Logic Programming Modular Action Language Alm

  year unknowncites this paper
• Under Consideration for Publication in Theory and Practice of Logic Programming Corealmlib: an Alm Library Translated from the Component Library

  year unknowncites this paper