Search Results - "Disjunctive Logic Programming"
-
1
Authors: 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
-
2
Authors: et al.
Contributors: et al.
Source: 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
Subject Terms: 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
Access URL: 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 -
3
Authors: et al.
Contributors: et al.
Source: Theory and Practice of Logic Programming. 16:570-586
Subject Terms: 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
File Description: application/pdf
Access URL: 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 -
4
Authors:
Source: Artificial Intelligence. 174:105-132
Subject Terms: 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
Access URL: 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 -
5
Authors:
Contributors:
Subject Terms: Disjunctive logic programming, Multi-agent systems, Virtual reality, Distributed interactive simulation
File Description: application/pdf
Relation: 1565551257
Availability: https://hdl.handle.net/1822/52535
-
6
Authors:
Source: 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)Subject Terms: 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
File Description: application/xml
Access URL: 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 -
7
Authors:
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
-
8
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]
-
9
Authors:
Source: Theoretical Computer Science. 206:181-218
Subject Terms: 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)
File Description: application/xml
-
10
Authors:
Source: Artificial Intelligence. 174:1247-1253
Subject Terms: 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
-
11
Authors: et al.
Source: Theory and Practice of Logic Programming. 8:545-580
Subject Terms: 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)
-
12
Authors:
Source: Artificial Intelligence. 172:1837-1872
Subject Terms: 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
Access URL: 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 -
13
Authors:
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
-
14
Authors:
Source: Theory and Practice of Logic Programming. 5:123-159
Subject Terms: 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
File Description: application/xml
Access URL: 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 -
15
Authors:
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
-
16
Authors: et al.
Source: 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(1Subject Terms: 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
Access URL: 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 -
17
Authors: et al.
Source: Theoretical Computer Science. 258:523-553
Subject Terms: 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)
File Description: application/xml
-
18
Authors:
Source: The Journal of Logic Programming. 46:61-101
Subject Terms: 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
File Description: application/xml
-
19
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 -
20
Authors:
Source: Journal of Computer Science and Technology. 13:193-201
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, normal logic programming, 02 engineering and technology, disjunctive logic programming, Logic programming
File Description: application/xml
Nájsť tento článok vo Web of Science 
Full Text Finder