Výsledky vyhľadávania - Disjunctive Logic Programming

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

Autori: Toshiko Wakaki

Zdroj: Lecture Notes in Computer Science ISBN: 9783032051332

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

Autori: Toshiko Wakaki

Zdroj: Argument & Computation. 15:309-353

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

Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming

Autori: FELICIDAD AGUADO PEDRO CABALAR BRAIS MUÑIZ a ďalší

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

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

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2507.18198
https://hdl.handle.net/2183/45933

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

Autori: Heyninck, Jesse Arieli, Ofer Bogaerts, Bart a ďalší

Prispievatelia: Heyninck, Jesse Arieli, Ofer Bogaerts, Bart a ďalší

Zdroj: 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

Predmety: 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

Prístupová URL adresa: 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

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

Autori: Ofer Arieli Jesse Heyninck

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

Predmety: 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

Autori: Heyninck, Jesse Arieli, Ofer Bogaerts, Bart

Témy: Computer Science - Artificial Intelligence, text

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

Assumption-Based Argumentation for Extended Disjunctive Logic Programming

Autori: Toshiko Wakaki

Zdroj: Lecture Notes in Computer Science ISBN: 9783031113208

A game semantics for disjunctive logic programming

Autori: Thanos, Tsouanas

Prispievatelia: Thanos, Tsouanas

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

Predmety: 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]

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

Autori: Katsumi Inoue Chiaki Sakama

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

Predmety: 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

Popis súboru: application/xml

Prístupová URL adresa: 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

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

Autori: RICCA, Francesco LEONE N.

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

Predmety: 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

Prístupová URL adresa: https://hdl.handle.net/20.500.11770/131100

Argumentation-based abduction in disjunctive logic programming

Autori: Wang, KW

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

Predmety: 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

Popis súboru: application/xml

Prístupová URL adresa: 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

Autori: KOCH C LEONE, Nicola PFEIFER G.

Zdroj: Artificial Intelligence. 151:177-212

Predmety: 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

Prístupová URL adresa: https://hdl.handle.net/20.500.11770/139357

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

Autori: Alexander Bochman

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

Predmety: 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

Popis súboru: application/xml

Prístupová URL adresa: 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

An abductive approach to disjunctive logic programming

Autori: Jia-Huai You Randy Goebel Li-Yan Yuan

Zdroj: The Journal of Logic Programming. 44:101-127

Predmety: Disjunctive logic programs, disjunctive EK procedure, abductive reasoning, Abductive proof procedure, Logic, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, regular extension semantics, Logic programming, 01 natural sciences, Semantics, nonmonotonic reasoning

Popis súboru: application/xml

Prístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S0743106699000746
https://www.sciencedirect.com/science/article/abs/pii/S0743106699000746
https://dblp.uni-trier.de/db/journals/jlp/jlp44.html#YouYG00
https://doi.org/10.1016/S0743-1066(99)00074-6

Partial deduction in disjunctive logic programming

Autori: Chiaki Sakama Hirohisa Seki

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

Predmety: 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

Popis súboru: application/xml

Prístupová URL adresa: 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

Temporal disjunctive logic programming

Autori: Themis Panayiotopoulos Manolis Gergatsoulis Panos Rondogiannis

Zdroj: New Generation Computing. 19:87-100

Predmety: Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Disjunctive Chronolog, Logic programming

Popis súboru: application/xml

Prístupová URL adresa: https://dblp.uni-trier.de/db/journals/ngc/ngc19.html#GergatsoulisRP00
https://lekythos.library.ucy.ac.cy/handle/10797/13676
https://link.springer.com/article/10.1007/BF03037535

Argumentation in disjunctive logic programming

Autori: Kewen Wang Quanyuan Wu Huowang Chen

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

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

Popis súboru: application/xml

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

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

Autori: Loveland, Don Minker, Jack Warren, David

Témy: Data processing Computer science, InProceedings, publishedVersion

On the computational cost of disjunctive logic programming: Propositional case

Autori: Eiter, T Gottlob, G

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

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

Popis súboru: application/xml

Prístupová URL adresa: 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

Autori: Ngo Huu Liem Phan Minh Dung

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

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

Popis súboru: application/xml

Prístupová URL adresa: 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