Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
Record link: 
http://hdl.handle.net/20.500.12708/56274
-
Title: 
Merging in the Horn Fragment
-
Citation: 
Haret, A., Rümmele, S., & Woltran, S. (2015). Merging in the Horn Fragment. In Q. Yang & M. Wooldridge (Eds.), Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence - IJCAI 2015 (pp. 3041–3047). AAAI Press. http://hdl.handle.net/20.500.12708/56274
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Authors: 
Haret, Adrian 
Rümmele, Stefan 
Woltran, Stefan 
-
Organisational Unit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
E192-02 - Forschungsbereich Databases and Artificial Intelligence 
-
Published in: 
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence - IJCAI 2015 
-
Date (published): 
2015
-
Event name: 
Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015 
-
Event date: 
25-Jul-2015 - 31-Jul-2015
-
Event place: 
Buenos Aires, Argentina, Non-EU
-
Number of Pages: 
7
-
Publisher: 
AAAI Press
-
Peer reviewed: 
Yes
-
Abstract: 
Belief merging is a central operation within the field of belief change and addresses the problem of combining multiple, possibly mutually inconsistent knowledge bases into a single, consistent one. A current research trend in belief change is concerned with tailored representation theorems for fragments of logic, in particular Horn logic. Hereby, the goal is to guarantee that the result of the ch...
en
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
Informatik
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

204
checked on Nov 23, 2023

Google ScholarTM

Check