Paraconsistent Annotated Logic Programs and Application to Intelligent Verification Systems

Studies in Computational Intelligence - Innovations in Intelligent Machines-4 ◽

10.1007/978-3-319-01866-9_9 ◽

2013 ◽

pp. 279-315

Author(s):

Kazumi Nakamatsu ◽

Jair M. Abe

Keyword(s):

Logic Programs ◽

Verification Systems ◽

Annotated Logic

Download Full-text

Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2008.12.071 ◽

2009 ◽

Vol 225 ◽

pp. 141-159 ◽

Author(s):

Ekaterina Komendantskaya ◽

Anthony Karel Seda

Keyword(s):

Logic Programs ◽

Sld Resolution ◽

Annotated Logic

Download Full-text

On the relation between vector annotated logic programs and defeasible theories

Logic and Logical Philosophy ◽

10.12775/llp.2000.010 ◽

2004 ◽

Vol 8 (0) ◽

pp. 181 ◽

Author(s):

Kazumi Nakamatsu

Keyword(s):

Logic Programs ◽

Annotated Logic

Download Full-text

Formal Argumentation Frameworks for the Extended Generalized Annotated Logic Programs

Lecture Notes in Computer Science - Knowledge-Based Intelligent Information and Engineering Systems ◽

10.1007/978-3-540-45224-9_8 ◽

2003 ◽

pp. 28-38 ◽

Author(s):

Takehisa Takahashi ◽

Yuichi Umeda ◽

Hajime Sawamura

Keyword(s):

Logic Programs ◽

Annotated Logic

Download Full-text

Coherent Well-founded Annotated Logic Programs

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-46767-x_19 ◽

2010 ◽

pp. 262-276 ◽

Author(s):

Carlos Viegas Damásio ◽

Luís Moniz Pereira ◽

Terrance Swift

Keyword(s):

Logic Programs ◽

Annotated Logic

Download Full-text

The development of paraconsistent annotated logic programs

International Journal of Reasoning-based Intelligent Systems ◽

10.1504/ijris.2009.026721 ◽

2009 ◽

Vol 1 (1/2) ◽

pp. 92 ◽

Author(s):

Kazumi Nakamatsu ◽

Jair Minoro Abe

Keyword(s):

Logic Programs ◽

Annotated Logic

Download Full-text

A framework for intelligent systems based on vector annotated logic programs

Proceedings of the Second International Conference on Intelligent Processing and Manufacturing of Materials. IPMM'99 (Cat. No.99EX296) ◽

10.1109/ipmm.1999.792582 ◽

1999 ◽

Author(s):

K. Nakamatsu ◽

Y. Hasegawa ◽

J.M. Abe ◽

A. Suzuki

Keyword(s):

Intelligent Systems ◽

Logic Programs ◽

Annotated Logic

Download Full-text

Regular Signed Resolution Applied to Annotated Logic Programs

Logic Programming ◽

10.7551/mitpress/4301.003.0076 ◽

1995 ◽

Keyword(s):

Logic Programs ◽

Annotated Logic

Download Full-text

Induction of Fuzzy and Annotated Logic Programs

Inductive Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73847-3_27 ◽

2007 ◽

pp. 260-274 ◽

Author(s):

Tomáš Horváth ◽

Peter Vojtáš

Keyword(s):

Logic Programs ◽

Annotated Logic

Download Full-text

A non-monotonic ATMS based on annotated logic programs with strong negation

Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0055021 ◽

1998 ◽

pp. 79-93 ◽

Author(s):

Kazumi Nakamatsu ◽

Atsuyuki Suzuki

Keyword(s):

Logic Programs ◽

Strong Negation ◽

Annotated Logic

Download Full-text

Computing Annotated Logic Programs

Logic Programming ◽

10.7551/mitpress/4316.003.0032 ◽

1994 ◽

Keyword(s):

Logic Programs ◽

Annotated Logic

Download Full-text