telingo = ASP + Time-Reference-Cited by-同舟云学术

telingo = ASP + Time

Published:2019 Issue: Volume: Page:256-269
ISSN:0302-9743
Container-title:Logic Programming and Nonmonotonic Reasoning
language:
Short-container-title:

Author:

Cabalar Pedro^ORCID,Kaminski Roland^ORCID,Morkisch Philip^ORCID,Schaub Torsten^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-20528-7_19

Reference17 articles.

1. Aguado, F., Cabalar, P., Diéguez, M., Pérez, G., Vidal, C.: Temporal equilibrium logic: a survey. J. Appl. Non-Classical Log. 23(1–2), 2–24 (2013)

2. Bosser, A., Cabalar, P., Diéguez, M., Schaub, T.: Introducing temporal stable models for linear dynamic logic. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, pp. 12–21. AAAI Press (2018)

3. Cabalar, P., Diéguez, M.: STELP: a tool for temporal answer set programming. In: [7], pp. 370–375 (2011)

4. Cabalar, P., Kaminski, R., Schaub, T., Schuhmann, A.: Temporal answer set programming on finite traces. Theory Pract. Log. Program. 18(3–4), 406–420 (2018)

5. Lecture Notes in Computer Science;P Cabalar,2007

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Clingo2DSR - A clingo-based software system for declarative spatial reasoning;Spatial Cognition & Computation;2024-03-29

2. Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic;Lecture Notes in Computer Science;2024

3. Metric dynamic equilibrium logic;Journal of Applied Non-Classical Logics;2023-08-14

4. Preliminary Risk and Mitigation Assessment in Cyber-Physical Systems;2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W);2023-06

5. Logic programming for deliberative robotic task planning;Artificial Intelligence Review;2023-01-18