21
TITLE: Automated Reasoning
AUTHORS: Matthias Knorr;
PUBLISHED: 2018, SOURCE: Encyclopedia of Social Network Analysis and Mining
INDEXED IN: CrossRef
IN MY: ORCID
22
TITLE: Iterative variable elimination in ASP
AUTHORS: Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence, EPIA 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10423 LNAI
INDEXED IN: Scopus CrossRef: 2
IN MY: ORCID
23
TITLE: When you must forget: Beyond strong persistence when forgetting in answer set programming
AUTHORS: Goncalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLISHED: 2017, SOURCE: 33rd International Conference on Logic Programming colocated with the 23rd International Conference on Principles and Practice of Constraint Programming / 20th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 17, ISSUE: 5-6
INDEXED IN: WOS CrossRef: 6
IN MY: ORCID
24
TITLE: When you must forget: Beyond strong persistence when forgetting in answer set programming
AUTHORS: Gonçalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLISHED: 2017, SOURCE: Theory and Practice of Logic Programming, VOLUME: 17, ISSUE: 5-6
INDEXED IN: Scopus
IN MY: ORCID
25
TITLE: NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond
AUTHORS: Lopes, C; Knorr, M; Leite, J;
PUBLISHED: 2017, SOURCE: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, VOLUME: 10377
INDEXED IN: Scopus WOS CrossRef: 5
IN MY: ORCID
26
TITLE: You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming
AUTHORS: Goncalves, R; Knorr, M; Leite, J;
PUBLISHED: 2016, SOURCE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285
INDEXED IN: Scopus WOS
IN MY: ORCID
27
TITLE: The ultimate guide to forgetting in answer set programming
AUTHORS: Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2016, SOURCE: 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016 in Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016
INDEXED IN: Scopus
IN MY: ORCID
28
TITLE: Inconsistency Management in Reactive Multi-context Systems
AUTHORS: Brewka, G; Ellmauthaler, S; Calves, RG; Knorr, M; Leite, J; Puehrer, J;
PUBLISHED: 2016, SOURCE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID
29
TITLE: Forgetting in ASP: The Forgotten Properties
AUTHORS: Goncalves, R; Knorr, M; Leite, J;
PUBLISHED: 2016, SOURCE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID
30
TITLE: Minimal change in evolving multi-context systems
AUTHORS: Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence, EPIA 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9273
INDEXED IN: Scopus CrossRef
IN MY: ORCID
Page 3 of 6. Total results: 53.