MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Paraconsistent Logic Programming." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

20 documents found, showing 1 through 10. Next 10 →

ATOM

On Contradictions and their Propagation in Paraconsistent Logic Programs
by João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira
…On Contradictions and their Propagation in Paraconsistent Logic Programs Jo~ao Alc^antara, Carlos…
Add To MetaCart

An Encompassing Framework for Paraconsistent Logic Programs
by Joao Alcantara, Carlos Viegas Damasio, Luis Moniz Pereira — 2003 — J. Applied Logic
…An Encompassing Framework for Paraconsistent Logic Programs Jo~ao Alc^antara, Carlos Viegas Damasio…
Cited by 7 (3 self) – Add To MetaCart

Extended Well-Founded Semantics for Paraconsistent Logic Programs
by Chiaki Sakama — 1992 — In Fifth Generation Computer Systems
…Extended Well-Founded Semantics for Paraconsistent Logic Programs 3 Chiaki Sakama ASTEM Research…
Cited by 14 (1 self) – Add To MetaCart

A Survey of Paraconsistent Semantics for Logic Programs
by Carlos Viegas Damásio, Luís Moniz Pereira, Carlos Viegas Dam'asio, Lu'is Moniz Pereira, Centro De Inteligencia Artficial (centria — 1998 — Handbook of Defeasible Reasoning and Uncertainty Management Systems
…A Survey of Paraconsistent Semantics for Logic Programs Carlos Viegas Dam'asio 1;2 and Lu…
Cited by 19 (8 self) – Add To MetaCart

Query Answering in Normal Logic Programs under Uncertainty
by Umberto Straccia — 2005 — In 8th European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-05), number 3571 in Lecture Notes in Computer Science
… interest relies on the fact that many approaches to paraconsistency and uncertainty in logic programs…
Cited by 8 (4 self) – Add To MetaCart

Paraconsistent Stable Semantics for Extended Disjunctive Programs
by Chiaki Sakama, Katsumi Inoue — 1995 — Journal of Logic and Computation
… disjunctive logic programs. We introduce the paraconsistent minimal and stable model semantics for extended…
Cited by 18 (0 self) – Add To MetaCart

Logic of Argumentation based on Tetralemma with an Eastern Mind
by Hajime Sawamura Department, Hajime Sawamura — 2004
… with the paraconsistent logic programming whose literals are annotated with the four truth-values. 2. Tetralemma…
Add To MetaCart

Default Negated Conclusions: Why Not?
by Carlos Viegas Damásio, Luís Moniz Pereira
… of WFSX for paraconsistent extended logic programs, WFSX p , defined in [1], is taken as the base…
Cited by 10 (8 self) – Add To MetaCart

A Paraconsistent Semantics With Contradiction Support Detection
by Carlos Viegas Damásio, Luís Moniz Pereira, Carlos Viegas Dam'asio, Lu'is Moniz Pereira
… belief revision. The idea of introducing paraconsistent reasoning in logic programming is fairly recent…
Cited by 2 (1 self) – Add To MetaCart

A Paraconsistent Semantics Detecting Contradiction Support
by Carlos Viegas Damásio, Luís Moniz Pereira, Carlos Viegas Dam'asio, Lu'is Moniz Pereira
… such declarative debugging techniques for logic programs on the basis of our paraconsistent semantics…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB