Temporal logic programs with variables

DOI10.1017/S1471068416000570zbMath1379.68288arXiv1609.05811OpenAlexW2963355213MaRDI QIDQ4593085

Concepción Vidal, Felicidad Aguado, Gilberto Pérez, Martín Diéguez, Pedro Cabalar

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1609.05811

zbMATH Keywords

artificial intelligenceknowledge representationtemporal logiclogic programminganswer set programminggrounding

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17) Temporal logic (03B44)

Related Items (1)

FTClogic: fuzzy temporal constraint logic

Uses Software

• Gringo
• STeLP

Cites Work

• Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings
• Equilibrium logic
• Logic programs with stable model semantics as a constraint programming paradigm
• Loop Formulas for Splitable Temporal Logic Programs
• Strongly Equivalent Temporal Logic Programs
• A Revised Concept of Safety for General Answer Set Programs
• The Semantics of Predicate Logic as a Programming Language
• On the Complexity of Temporal Equilibrium Logic
• The DLV system for knowledge representation and reasoning
• Normal Form Nested Programs

This page was built for publication: Temporal logic programs with variables