Linear-time temporal answer set programming
From MaRDI portal
Cites work
- \textit{telingo} = ASP + time
- A denotational semantics for equilibrium logic
- A new logical characterisation of stable models and answer sets
- A survey of temporal extensions of description logics
- Alternation
- An abductive proof procedure for reasoning about actions in modal logic programming
- An infinitary encoding of temporal equilibrium logic
- Answer set programming and plan generation
- Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments
- Automata-Based Computation of Temporal Equilibrium Models
- Bounded LTL model checking with stable models
- Cut-free formulations for a quantified logic of here and there
- Datalog LITE
- Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday
- Die formalen Regeln der intuitionistischen Logik. I, II, III.
- Dynamic linear time temporal logic
- Explicit negation in linear-dynamic equilibrium logic
- First-order vs. second-order encodings for \textsc{ltl}\(_f\)-to-automata translation
- Formalizing action and change in modal logic I: the frame problem
- GOLOG: A logic programming language for dynamic domains
- scientific article; zbMATH DE number 3960965 (Why is no real title available?)
- scientific article; zbMATH DE number 4081517 (Why is no real title available?)
- scientific article; zbMATH DE number 1028819 (Why is no real title available?)
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- scientific article; zbMATH DE number 1523045 (Why is no real title available?)
- scientific article; zbMATH DE number 1536572 (Why is no real title available?)
- scientific article; zbMATH DE number 1556014 (Why is no real title available?)
- scientific article; zbMATH DE number 2085248 (Why is no real title available?)
- scientific article; zbMATH DE number 2196589 (Why is no real title available?)
- scientific article; zbMATH DE number 3237829 (Why is no real title available?)
- scientific article; zbMATH DE number 3250542 (Why is no real title available?)
- scientific article; zbMATH DE number 2207163 (Why is no real title available?)
- scientific article; zbMATH DE number 3099240 (Why is no real title available?)
- Integrating Temporal Extensions of Answer Set Programming
- Intuitionistic linear temporal logics
- Maintaining knowledge about temporal intervals
- MOLOG: A system that extends PROLOG with modal logic
- Multi-shot ASP solving with clingo
- On temporal logic versus Datalog
- On the complexity of temporal equilibrium logic
- Propositional dynamic logic of regular programs
- Quantified Equilibrium Logic and Foundations for Answer Set Programs
- Reasoning about actions in dynamic linear time temporal logic
- Reasoning about actions with Temporal Answer Sets
- Representing action and change by logic programs
- Temporal annotated constraint logic programming
- Temporal answer set programming on finite traces
- Temporal equilibrium logic with past operators
- Temporal Equilibrium Logic: A First Approach
- Temporal equilibrium logic: a survey
- Temporal here and there
- Temporal logic can be more expressive
- Temporal logic programming
- Temporal logic programs with variables
- Temporal logics in computer science. Finite-state systems
- The complementation problem for Büchi automata with applications to temporal logic
- The complexity of propositional linear temporal logics
- The Semantics of Predicate Logic as a Programming Language
- Towards metric temporal answer set programming
- Unifying hyper and epistemic temporal logics
- Using temporal logics to express search control knowledge for planning
- Zum intuitionistischen Aussagekalkül.
This page was built for publication: Linear-time temporal answer set programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7027226)
