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...

ver descrição completa

Detalhes bibliográficos
Autor principal: Moura, João Manuel Gomes (author)
Formato: doctoralThesis
Idioma:eng
Publicado em: 2018
Assuntos:
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
Texto completo:http://hdl.handle.net/10362/30470
País:Portugal
Oai:oai:run.unl.pt:10362/30470

Texto Completo

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

Registros relacionados