Modular Logic Programming: Full Compositionality and Conflict Handling for Practical Reasoning

With the recent development of a new ubiquitous nature of data and the profusity of available knowledge, there is nowadays the need to reason from multiple sources of often incomplete and uncertain knowledge. Our goal was to provide a way to combine declarative knowledge bases – represented as logic...

Full description

Bibliographic Details
Main Author: Moura, João Manuel Gomes (author)
Format: doctoralThesis
Language:eng
Published: 2018
Subjects:
Logic Programming
Answer Set Programming
Paracoherence
Paraconsistency
Modular Logic Programming
Probabilistic Logic Programming
Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Online Access:http://hdl.handle.net/10362/30470
Country:Portugal
Oai:oai:run.unl.pt:10362/30470

Internet

http://hdl.handle.net/10362/30470

Similar Items