Revising Undefinedness in the Well-Founded Semantics of Logic Programs

The Well-Founded Semantics (WFS) for normal logic programs associates with each program one single model expressing truth, falsity and undefinedness of atoms. Under the WFS, atoms are said to be undefined if: • Either are part of a two-valued choice (true in some worlds, false in others) but never u...

Full description

Bibliographic Details
Main Author: Soares, Luís Filipe Rodrigues (author)
Format: masterThesis
Language:eng
Published: 2019
Subjects:
Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Online Access:http://hdl.handle.net/10362/68741
Country:Portugal
Oai:oai:run.unl.pt:10362/68741

Internet

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

Similar Items