Search Results - "Disjunctive Logic Programming"

Assumption-Based Argumentation for General Extended Disjunctive Logic Programming with Negation as Failure in the Head

Authors: Toshiko Wakaki

Source: Lecture Notes in Computer Science ISBN: 9783032051332

Assumption-based argumentation for extended disjunctive logic programming and its relation to nonmonotonic reasoning

Authors: Toshiko Wakaki

Source: Argument & Computation. 15:309-353

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming

Authors: Ofer Arieli Jesse Heyninck

Source: Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning. :334-344

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming

Authors: Heyninck, Jesse Arieli, Ofer Bogaerts, Bart et al.

Contributors: Heyninck, Jesse Arieli, Ofer Bogaerts, Bart et al.

Source: Heyninck, J, Arieli, O & Bogaerts, B 2024, ' Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming ', Artificial Intelligence, vol. 331, 104110 . https://doi.org/10.1016/j.artint.2024.104110

Subject Terms: FOS: Computer and information sciences, Technology, COMPLEXITY, Science & Technology, Answer Set Programming, Logic Programming, 4602 Artificial intelligence, Computer Science - Artificial Intelligence, 1702 Cognitive Sciences, 0102 computer and information sciences, 02 engineering and technology, Knowledge Representation, Approximation Fixpoint Theory, 01 natural sciences, Computer Science, Artificial Intelligence, 4603 Computer vision and multimedia computation, Artificial Intelligence (cs.AI), 4611 Machine learning, STABLE SEMANTICS, Computer Science, 0801 Artificial Intelligence and Image Processing, 0202 electrical engineering, electronic engineering, information engineering, Artificial Intelligence & Image Processing, WELL-FOUNDED SEMANTICS, 0802 Computation Theory and Mathematics

Access URL: http://arxiv.org/abs/2211.17262
https://research.ou.nl/en/publications/008e2ec5-6357-4c8f-8482-705879847972
https://doi.org/10.1016/j.artint.2024.104110
https://biblio.vub.ac.be/vubir/nondeterministic-approximation-fixpoint-theory-and-its-application-in-disjunctive-logic-programming(5c975437-fd82-49bb-b75d-bbefc961413e).html
https://hdl.handle.net/20.500.14017/5c975437-fd82-49bb-b75d-bbefc961413e
https://doi.org/10.1016/j.artint.2024.104110
https://research.ou.nl/en/publications/008e2ec5-6357-4c8f-8482-705879847972
https://hdl.handle.net/1820/008e2ec5-6357-4c8f-8482-705879847972
https://doi.org/10.1016/j.artint.2024.104110

Assumption-Based Argumentation for Extended Disjunctive Logic Programming

Authors: Toshiko Wakaki

Source: Lecture Notes in Computer Science ISBN: 9783031113208

Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming

Authors: Heyninck, Jesse Arieli, Ofer Bogaerts, Bart

Index Terms: Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/2211.17262

Abductive logic programming and disjunctive logic programming: their relationship and transferability: Abductive logic programming and disjunctive logic programming: Their relationship and transferability

Authors: Katsumi Inoue Chiaki Sakama

Source: The Journal of Logic Programming. 44:75-100

Subject Terms: Logic, Program transformation, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, abductive logic programming, disjunctive logic programming, Logic programming, 01 natural sciences, Abductive logic programming, Disjunctive logic programming

File Description: application/xml

Access URL: https://www.sciencedirect.com/science/article/pii/S0743106699000734
https://dblp.uni-trier.de/db/journals/jlp/jlp44.html#SakamaI00
https://www.sciencedirect.com/science/article/abs/pii/S0743106699000734

A game semantics for disjunctive logic programming

Authors: Thanos, Tsouanas

Contributors: Thanos, Tsouanas

Source: Annals of Pure and Applied Logic. 164:1144-1175

Subject Terms: logic programming, [INFO.INFO-GT] Computer Science [cs]/Computer Science and Game Theory [cs.GT], 0102 computer and information sciences, 0101 mathematics, disjunctive logic programming, 16. Peace & justice, 01 natural sciences, game semantics, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Disjunctive logic programming with types and objects: The DLV+ system

Authors: RICCA, Francesco LEONE N.

Source: Journal of Applied Logic. 5:545-573

Subject Terms: Answer Set Programming, Knowledge Representation and Reasoning, Non monotonic reasoning, Logic, Objects, Applied Mathematics, Types, Ontologies, 0202 electrical engineering, electronic engineering, information engineering, Reasoning, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Disjunctive logic programming

Access URL: https://hdl.handle.net/20.500.11770/131100

Argumentation-based abduction in disjunctive logic programming

Authors: Wang, KW

Source: The Journal of Logic Programming. 45:105-141

Subject Terms: Logic, Institut für Informatik und Computational Science, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, Mathematical Sciences, Semantics, Disjunctive logic programs, Information and Computing Sciences, Argumentation, 0202 electrical engineering, electronic engineering, information engineering, Abduction, disjunctive logic programming

File Description: application/xml

Access URL: https://zbmath.org/1515318
https://doi.org/10.1016/s0743-1066(00)00004-2
https://research-repository.griffith.edu.au/handle/10072/58178
http://www.sciencedirect.com/science/article/pii/S0743106600000042
https://www.sciencedirect.com/science/article/pii/S0743106600000042
https://dblp.uni-trier.de/db/journals/jlp/jlp45.html#Wang00
https://publishup.uni-potsdam.de/frontdoor/index/index/docId/19964

Enhancing disjunctive logic programming systems by SAT checkers

Authors: KOCH C LEONE, Nicola PFEIFER G.

Source: Artificial Intelligence. 151:177-212

Subject Terms: Head-cycle-free programs, Answer set programs, Artificial Intelligence, Nonmonotonic reasoning, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Stable model checking, 01 natural sciences, Disjunctive logic programming

Access URL: https://hdl.handle.net/20.500.11770/139357

Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming

Authors: FELICIDAD AGUADO PEDRO CABALAR BRAIS MUÑIZ et al.

Source: Theory and Practice of Logic Programming. :1-15

Subject Terms: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Forks, Artificial Intelligence, Answer set programming, Equilibrium logic, Disjunctive logic programming

File Description: application/pdf

Access URL: http://arxiv.org/abs/2507.18198
https://hdl.handle.net/2183/45933

Partial deduction in disjunctive logic programming

Authors: Chiaki Sakama Hirohisa Seki

Source: The Journal of Logic Programming. 32:229-245

Subject Terms: Logic, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, disjunctive logic programming, Logic programming, 01 natural sciences

File Description: application/xml

Access URL: https://zbmath.org/1082049
https://doi.org/10.1016/s0743-1066(96)00120-3
https://dblp.uni-trier.de/db/journals/jlp/jlp32.html#SakamaS97
https://www.sciencedirect.com/science/article/pii/S0743106696001203

Disjunctive Logic Programming and Databases: Nonmonotonic Aspects (Dagstuhl Seminar 9627)

Authors: Loveland, Don Minker, Jack Warren, David

Index Terms: Data processing Computer science, InProceedings, publishedVersion

Argumentation in disjunctive logic programming

Authors: Kewen Wang Quanyuan Wu Huowang Chen

Source: Science in China Series E: Technological Sciences. 41:106-112

Subject Terms: 0203 mechanical engineering, Knowledge representation, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, disjunctive logic programming, 16. Peace & justice, Logic programming

File Description: application/xml

Access URL: https://link.springer.com/article/10.1007%2FBF02916880
http://ui.adsabs.harvard.edu/abs/1998ScChE..41..106W/abstract

On the computational cost of disjunctive logic programming: Propositional case

Authors: Eiter, T Gottlob, G

Source: Annals of Mathematics and Artificial Intelligence. 15:289-323

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, disjunctive logic programming, Logic programming, 01 natural sciences

File Description: application/xml

Access URL: https://zbmath.org/937277
https://doi.org/10.1007/bf01536399
https://ora.ox.ac.uk/objects/uuid:f1c0ba0a-c1f7-40e0-be51-bfaa5d4e7b62

Negation as failure for disjunctive logic programming

Authors: Ngo Huu Liem Phan Minh Dung

Source: Annals of Mathematics and Artificial Intelligence. 12:25-51

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, disjunctive logic programming, Logic programming, 01 natural sciences

File Description: application/xml

Access URL: https://zbmath.org/937301
https://doi.org/10.1007/bf01530760
https://dblp.uni-trier.de/db/journals/amai/amai12.html#DungL94
https://link.springer.com/article/10.1007%2FBF01530760
https://link.springer.com/content/pdf/10.1007/BF01530760.pdf

An Argumentative Characterization of Disjunctive Logic Programming

Authors: Jesse Heyninck Ofer Arieli

Source: Lecture Notes in Computer Science ISBN: 9783030302436

Access URL: https://rd.springer.com/chapter/10.1007/978-3-030-30244-3_44
https://link.springer.com/chapter/10.1007/978-3-030-30244-3_44

Parametric Connectives in Disjunctive Logic Programming: Parametric connectives in disjunctive logic programming

Authors: LEONE, Nicola PERRI, Simona

Subject Terms: FOS: Computer and information sciences, D.3.1, Artificial Intelligence (cs.AI), D.1.6, Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Disjunctive Logic Programming, Stable Model Semantics, Knowledge Representation, Logic programming

File Description: application/xml

Access URL: http://arxiv.org/abs/cs/0311007
https://zbmath.org/2111988
https://hdl.handle.net/20.500.11770/129039
https://hdl.handle.net/20.500.11770/167915

Collective Argumentation and Disjunctive Logic Programming: Collective argumentation and disjunctive logic programming

Authors: Alexander Bochman

Source: Journal of Logic and Computation. 13:405-428

Subject Terms: Logic in artificial intelligence, logic programming, Knowledge representation, knowledge representation, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, artificial intelligence, 16. Peace & justice, Logic programming

File Description: application/xml

Access URL: https://zbmath.org/2034343
https://doi.org/10.1093/logcom/13.3.405
http://www.hit.ac.il/acc/bochmana/argwork.pdf
https://academic.oup.com/logcom/article/13/3/405/1438381
http://logcom.oxfordjournals.org/content/13/3/405.full.pdf
https://dblp.uni-trier.de/db/journals/logcom/logcom13.html#Bochman03