Author:
de Bruijn Jos,Pearce David,Polleres Axel,Valverde Agustín
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Hardware and Architecture,Human-Computer Interaction,Information Systems,Software
Reference33 articles.
1. Baral C (2002) Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, Cambridge
2. Cabalar P, Odintsov SP, Pearce D, Valverde A (2006) Analysing and extending well-founded and partial stable semantics using partial equilibrium logic. In: Proceedings of the 22nd international conference on logic programming (ICLP 2006), vol 4079 of lecture notes in computer science. Springer, Seattle, WA, USA, pp 346–360
3. de Bruijn J, Eiter T, Polleres A, Tompits H (2006) On representational issues about combinations of classical theories with nonmonotonic rules. In: Proceedings of the first international conference on knowledge science, Engineering and management (KSEM’06), number 4092 in lecture notes in computer science, Springer-Verlag, Guilin, China
4. de Bruijn J, Eiter T, Polleres A, Tompits H (2007) Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination. In: Proceedings of the twentieth international joint conference on artificial intelligence (IJCAI-07), AAAI, Hyderabad, India, pp 304–309
5. de Bruijn J, Pearce D, Polleres A, Valverde A (2007) Quantified equilibrium logic and hybrid rules, In: First international conference on web reasoning and rule systems (RR2007), vol 4524 of lecture notes in computer science, Springer, Innsbruck, Austria, pp 58–72
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Linear-Time Temporal Answer Set Programming;Theory and Practice of Logic Programming;2021-12-27
2. Autoepistemic answer set programming;Artificial Intelligence;2020-12
3. Temporal Logic Programs with Temporal Description Logic Axioms;Lecture Notes in Computer Science;2019
4. Answer Set Programming from a Logical Point of View;KI - Künstliche Intelligenz;2018-06-13
5. Stable reasoning;Journal of Applied Non-Classical Logics;2017-10-02