Výsledky vyhľadávania - "Disjunctive logic programming"

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 Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates

Autori: JESSE HEYNINCK BART BOGAERTS Informatics and Applied Informatics a ďalší

Prispievatelia: JESSE HEYNINCK BART BOGAERTS Informatics and Applied Informatics a ďalší

Zdroj: Heyninck, J L A & Bogaerts, B 2023, 'Non-deterministic Approximation Operators : Ultimate Operators, Semi-equilibrium Semantics, and Aggregates', Theory and Practice of Logic Programming, vol. 23, no. 4, pp. 632-647. https://doi.org/10.1017/S1471068423000236

Predmety: 4613 Theory of computation, Technology, approximation fixpoint theory, Science & Technology, Logic, 4602 Artificial intelligence, MODELS, 0803 Computer Software, Computer Science, Software Engineering, LOGIC PROGRAMS, Computation Theory & Mathematics, Computer Science, Theory & Methods, Computer Science, 0801 Artificial Intelligence and Image Processing, Science & Technology - Other Topics, disjunctive logic programming, semi-equilibrium semantics, 0802 Computation Theory and Mathematics

Prístupová URL adresa: https://research.ou.nl/en/publications/40e20635-0949-4e19-811d-7f2de23e2611
https://doi.org/10.1017/S1471068423000236
https://lirias.kuleuven.be/handle/20.500.12942/750206
https://doi.org/10.1017/s1471068423000236
https://biblio.vub.ac.be/vubir/nondeterministic-approximation-operators-ultimate-operators-semiequilibrium-semantics-and-aggregates(aba3757b-a2f7-4b67-a144-c06fddd35f1f).html
https://www.scopus.com/pages/publications/85165110980
https://research.ou.nl/en/publications/40e20635-0949-4e19-811d-7f2de23e2611
https://doi.org/10.1017/S1471068423000236

Stable-unstable semantics: Beyond NP with normal logic programs

Autori: Janhunen, Tomi Tasharrofi Shahab a ďalší

Prispievatelia: Janhunen, Tomi Tasharrofi Shahab a ďalší

Zdroj: Theory and Practice of Logic Programming. 16:570-586

Predmety: FOS: Computer and information sciences, Technology, Logic, Computer Science - Artificial Intelligence, 68T30, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Computation Theory & Mathematics, Computer Science, Theory & Methods, 0801 Artificial Intelligence and Image Processing, 0202 electrical engineering, electronic engineering, information engineering, polynomial hierarchy, disjunctive logic programming, 0802 Computation Theory and Mathematics, 4613 Theory of computation, ta113, I.2.3, Science & Technology, GRINGO, 4602 Artificial intelligence, D.1.6, 0803 Computer Software, quantified Boolean formulas, Computer Science, Software Engineering, MODEL SEMANTICS, F.4.1, Artificial Intelligence (cs.AI), ANSWER, Computer Science, Science & Technology - Other Topics, GENERALIZED QUANTIFIERS, SYSTEM

Popis súboru: application/pdf

Prístupová URL adresa: https://www.cambridge.org/core/services/aop-cambridge-core/content/view/DC9BB0EED8EBCC6D7BE30C0FA62A1BB5/S1471068416000387a.pdf/div-class-title-stable-unstable-semantics-beyond-np-with-normal-logic-programs-div.pdf
http://arxiv.org/abs/1608.01835
http://juuli.fi/Record/0274759516
https://doi.org/10.1017/S1471068416000387
https://lirias.kuleuven.be/handle/123456789/547763
https://doi.org/10.1017/s1471068416000387
https://aaltodoc.aalto.fi/handle/123456789/35945

Bounded treewidth as a key to tractability of knowledge representation and reasoning

Autori: Gottlob, G Pichler, R Wei, F

Zdroj: Artificial Intelligence. 174:105-132

Predmety: Artificial Intelligence, Fixed-parameter tractability, Treewidth, Monadic datalog, 0202 electrical engineering, electronic engineering, information engineering, Applications and algorithms, Abduction, 0102 computer and information sciences, 02 engineering and technology, Closed world reasoning, 01 natural sciences, Disjunctive logic programming

Prístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S0004370209001192
https://www.sciencedirect.com/science/article/abs/pii/S0004370209001192
https://dl.acm.org/doi/abs/10.1016/j.artint.2009.10.003
https://www.sciencedirect.com/science/article/pii/S0004370209001192#!
https://doi.org/10.1016/j.artint.2009.10.003
https://dblp.uni-trier.de/db/journals/ai/ai174.html#GottlobPW10
https://ora.ox.ac.uk/objects/uuid:dbda56f1-45c6-45da-bf4d-d7ad81f7f830
https://ora.ox.ac.uk/objects/uuid:b1a52418-89ab-42e8-9145-94a53bf92eb2
https://doi.org/10.1016/j.artint.2009.10.003

Distributed interactive simulation

Autori: Machado, José Manuel Neves, José Universidade do Minho

Prispievatelia: Machado, José Manuel Neves, José Universidade do Minho

Predmety: Disjunctive logic programming, Multi-agent systems, Virtual reality, Distributed interactive simulation

Popis súboru: application/pdf

Relation: 1565551257

Dostupnosť: https://hdl.handle.net/1822/52535

Disjunctive logic programs with inheritance

Autori: BUCCAFURRI F. LEONE, Nicola FABER, WOLFGANG

Zdroj: Theory and practice of logic programming 2(3) (2002): 293–321.
info:cnr-pdr/source/autori:Buccafurri F., Faber W., Leone N./titolo:Disjunctive Logic Programs with Inheritance/doi:/rivista:Theory and practice of logic programming/anno:2002/pagina_da:293/pagina_a:321/intervallo_pagine:293–321/volume:2(3)

Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, I.2.3, I.2.4, Computer Science - Artificial Intelligence, D.1.6, knowledge representation, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, nonmonotonic reasoning, Logic in Computer Science (cs.LO), exceptions, Artificial Intelligence (cs.AI), Knowledge representation, 0202 electrical engineering, electronic engineering, information engineering, inheritance, disjunctive logic programming

Popis súboru: application/xml

Prístupová URL adresa: http://arxiv.org/abs/cs/0105036
https://zbmath.org/2048595
https://doi.org/10.1017/s1471068402001394
https://publications.cnr.it/doc/14312
http://www.cnr.it/prodotto/i/14312
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/disjunctive-logic-programs-with-inheritance/8544D92BABDECDEDE3505932FEA6E863
https://dblp.uni-trier.de/db/journals/corr/corr0105.html#cs-LO-0105036
http://ui.adsabs.harvard.edu/abs/2001cs........5036B/abstract
http://www.journals.cambridge.org/abstract_S1471068402001394
https://arxiv.org/abs/cs/0105036
https://arxiv.org/pdf/cs/0105036v2
https://hdl.handle.net/20.500.11770/126819
https://doi.org/10.1017/S1471068402001394
https://hdl.handle.net/20.500.11770/168084

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

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]

Expressive power and complexity of partial models for disjunctive deductive databases

Autori: SACCA', Domenico EITER T. LEONE, Nicola

Zdroj: Theoretical Computer Science. 206:181-218

Predmety: partial model semantics, Database theory, Complexity, 0102 computer and information sciences, 02 engineering and technology, Expressive power, 01 natural sciences, expressive power, Theoretical Computer Science, Partial model semantics, Deductive databases, 0202 electrical engineering, electronic engineering, information engineering, deductive databases, complexity, disjunctive logic programming, Disjunctive logic programming, Computer Science(all)

Popis súboru: application/xml

Prístupová URL adresa: https://dblp.uni-trier.de/db/journals/tcs/tcs206.html#EiterLS98
http://www.sciencedirect.com/science/article/pii/S0304397597001291
https://www.sciencedirect.com/science/article/pii/S0304397597001291
https://hdl.handle.net/20.500.11770/136559

Outlier detection for simple default theories

Autori: ANGIULLI, Fabrizio BEN ELIYAHU ZOHARY R PALOPOLI, Luigi

Zdroj: Artificial Intelligence. 174:1247-1253

Predmety: Computational complexity, Knowledge representation, Artificial Intelligence, Nonmonotonic reasoning, Outlier detection, 0202 electrical engineering, electronic engineering, information engineering, Default logic, 0102 computer and information sciences, 02 engineering and technology, Data mining, 01 natural sciences, Disjunctive logic programming

Prístupová URL adresa: https://hdl.handle.net/20.500.11770/123296
https://doi.org/10.1016/j.artint.2010.07.006

Design and implementation of aggregate functions in the DLV system

Autori: FABER, WOLFGANG GERALD PFEIFER LEONE, Nicola a ďalší

Zdroj: Theory and Practice of Logic Programming. 8:545-580

Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, I.2.3, D.3.1, I.2.4, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, D.1.6, disjunctive logic programming, answer set programming, aggregates, knowledge representation, implementation, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Logic in Computer Science (cs.LO)

Prístupová URL adresa: http://arxiv.org/pdf/0802.3137
http://arxiv.org/abs/0802.3137

Outlier detection using default reasoning

Autori: ANGIULLI Fabrizio BEN-ELIYAHU-ZOHARY Rachel PALOPOLI Luigi

Zdroj: Artificial Intelligence. 172:1837-1872

Predmety: Computational complexity, Knowledge representation, Artificial Intelligence, Nonmonotonic reasoning, Outlier detection, 0202 electrical engineering, electronic engineering, information engineering, Default logic, 02 engineering and technology, Data mining, Disjunctive logic programming

Prístupová URL adresa: https://philpapers.org/rec/ANGODU
https://www.sciencedirect.com/science/article/pii/S0004370208000982
https://dblp.uni-trier.de/db/journals/ai/ai172.html#AngiulliBP08
http://www.sciencedirect.com/science/article/pii/S0004370208000982
https://core.ac.uk/display/82790667
https://hdl.handle.net/20.500.11770/130542
https://doi.org/10.1016/j.artint.2008.07.004

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

Abductive logic programs with penalization: semantics, complexity and implementation: Abductive logic programs with penalization: semantics, complexity an implementation

Autori: PERRI, Simona SCARCELLO, Francesco LEONE, Nicola

Zdroj: Theory and Practice of Logic Programming. 5:123-159

Predmety: stable models, FOS: Computer and information sciences, Logic in artificial intelligence, optimization problems, computational complexity, penalization, Computer Science - Artificial Intelligence, D.1.6, knowledge representation, Semantics in the theory of computing, abduction, Abduction, Disjunctive Logic Programming, Computational Complexity, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, nonmonotonic reasoning, Artificial Intelligence (cs.AI), Knowledge representation, 0202 electrical engineering, electronic engineering, information engineering, logic programs

Popis súboru: application/xml

Prístupová URL adresa: http://arxiv.org/pdf/cs/0310047
http://arxiv.org/abs/cs/0310047
https://dblp.uni-trier.de/db/journals/corr/corr0310.html#cs-AI-0310047
https://arxiv.org/abs/cs/0310047
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/abs/abductive-logic-programs-with-penalization-semantics-complexity-and-implementation/8DB7F13241C33A97E9F779DACD579EB0
http://journals.cambridge.org/abstract_S1471068404002224
https://arxiv.org/pdf/cs/0310047v1
http://dblp.uni-trier.de/db/journals/corr/corr0310.html#cs-AI-0310047

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

A logic programming approach to knowledge-state planning, II: The system: Semantics and complexity

Autori: EITER T FABER, WOLFGANG LEONE, Nicola a ďalší

Zdroj: Artificial intelligence (Gen. ed.) 144(1 (2002): 157–211.
info:cnr-pdr/source/autori:Eiter T., Faber W., Leone N., Pfeifer G., Polleres A./titolo:A Logic Programming Approach to Knowledge-State Planning, II: The dlvk System/doi:/rivista:Artificial intelligence (Gen. ed.)/anno:2002/pagina_da:157/pagina_a:211/intervallo_pagine:157–211/volume:144(1

Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, I.2.3, I.2.4, Computer Science - Artificial Intelligence, Secure planning, I.2.8, Conformant planning, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), Knowledge-states, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Declarative planning, Incomplete information, Computational complexity, Answer sets, Deductive planning system, Disjunctive logic programming

Prístupová URL adresa: http://arxiv.org/abs/cs/0112006
http://www.cnr.it/prodotto/i/14315
https://publications.cnr.it/doc/14315
http://arxiv.org/pdf/cs/0112006.pdf
https://arxiv.org/abs/cs/0112006
https://ui.adsabs.harvard.edu/abs/2001cs.......12006E/abstract
https://dblp.uni-trier.de/db/journals/corr/corr0112.html#cs-AI-0112006
https://doi.org/10.1145/976706.976708
https://dl.acm.org/doi/10.1145/976706.976708
https://dl.acm.org/ft_gateway.cfm?id=976708&type=pdf
https://research.wu.ac.at/de/publications/d91781a4-daca-41a7-9626-d9389f3bc5b7

On the equivalence of the static and disjunctive well-founded semantics and its computation

Autori: Teodor C. Przymusinski Jürgen Dix Stefan Brass a ďalší

Zdroj: Theoretical Computer Science. 258:523-553

Predmety: Database theory, Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, disjunctive deductive databases, 0102 computer and information sciences, 02 engineering and technology, disjunctive logic programming, Logic programming, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Popis súboru: application/xml

Prístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S0304397500000451
https://dblp.uni-trier.de/db/journals/tcs/tcs258.html#BrassDNP01

More on tractable disjunctive Datalog

Autori: R. BEN ELIYAU PALOPOLI, Luigi V. ZEMLYANKER

Zdroj: The Journal of Logic Programming. 46:61-101

Predmety: disjunctive Datalog, Logic, Database theory, Polynomial-time queries, Semantics in the theory of computing, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, Non-deterministic semantics, Head-cycle-free programs, 0202 electrical engineering, electronic engineering, information engineering, Expressive power of query languages, Disjunctive logic programming

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/1542430
https://doi.org/10.1016/s0743-1066(99)00066-7
https://dblp.uni-trier.de/db/journals/jlp/jlp46.html#Ben-Eliyahu-ZoharyPZ00
https://www.sciencedirect.com/science/article/pii/S0743106699000667
https://hdl.handle.net/20.500.11770/126113

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

The least fixpoint transformation for disjunctive logic programs

Autori: Kewen Wang Quanyuan Wu Huowang Chen

Zdroj: Journal of Computer Science and Technology. 13:193-201

Predmety: 0202 electrical engineering, electronic engineering, information engineering, normal logic programming, 02 engineering and technology, disjunctive logic programming, Logic programming

Popis súboru: application/xml

Prístupová URL adresa: https://link.springer.com/content/pdf/10.1007/BF02943187.pdf
https://link.springer.com/article/10.1007/BF02943187