• Suche: "Disjunctive logic programming"

Treffer 1 - 20 von 150

1

Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming
FELICIDAD AGUADO ; PEDRO CABALAR ; BRAIS MUÑIZ ; et al.
Theory and Practice of Logic Programming. :1-15

FOS: Computer and inform... Artificial Intelligence... Forks Artificial Intelligence Answer set programming Equilibrium logic …
Fachzeitschrift
Zu den Favoriten
2

Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates
JESSE HEYNINCK ; BART BOGAERTS ; Informatics and Applied Informatics ; et al.
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

4613 Theory of computati... Technology approximation fixpoint t... Science & Technology Logic 4602 Artificial intellig... …
Fachzeitschrift
Zu den Favoriten
3

Stable-unstable semantics: Beyond NP with normal logic programs
Janhunen, Tomi ; Tasharrofi ; Shahab ; et al.
Theory and Practice of Logic Programming. 16:570-586

FOS: Computer and inform... Technology Logic Computer Science - Artif... 68T30 0102 computer and inform... …
Fachzeitschrift
Zu den Favoriten
4

Bounded treewidth as a key to tractability of knowledge representation and reasoning
Gottlob, G ; Pichler, R ; Wei, F
Artificial Intelligence. 174:105-132

Artificial Intelligence Fixed-parameter tractabi... Treewidth Monadic datalog 0202 electrical engineer... Applications and algorit... …
Fachzeitschrift
Zu den Favoriten
5

Distributed interactive simulation
Machado, José Manuel ; Neves, José ; Universidade do Minho

Disjunctive logic progra... Multi-agent systems Virtual reality Distributed interactive...
Zu den Favoriten
6

Disjunctive logic programs with inheritance
BUCCAFURRI F. ; LEONE, Nicola ; FABER, WOLFGANG
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)

FOS: Computer and inform... Computer Science - Logic... I.2.3 I.2.4 Computer Science - Artif... D.1.6 …
Fachzeitschrift
Zu den Favoriten
7

Abductive logic programming and disjunctive logic programming: their relationship and transferability: Abductive logic programming and disjunctive logic programming: Their relationship and transferability
Katsumi Inoue ; Chiaki Sakama
The Journal of Logic Programming. 44:75-100

Logic Program transformation 0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... abductive logic programm... …
Fachzeitschrift
Zu den Favoriten
8

A game semantics for disjunctive logic programming
Tsouanas, Thanos
In Annals of Pure and Applied Logic November 2013 164(11):1144-1175

Fachzeitschrift
Zu den Favoriten
9

Dieses Ergebnis kann Gästen nicht angezeigt werden.

10

Expressive power and complexity of partial models for disjunctive deductive databases
SACCA', Domenico ; EITER T. ; LEONE, Nicola
Theoretical Computer Science. 206:181-218

partial model semantics Database theory Complexity 0102 computer and inform... 02 engineering and techn... Expressive power …
Fachzeitschrift
Zu den Favoriten
11

Outlier detection for simple default theories
ANGIULLI, Fabrizio ; BEN ELIYAHU ZOHARY R ; PALOPOLI, Luigi
Artificial Intelligence. 174:1247-1253

Computational complexity Knowledge representation Artificial Intelligence Nonmonotonic reasoning Outlier detection 0202 electrical engineer... …
Fachzeitschrift
Zu den Favoriten
12

Exchange-Repairs
ten Cate, Balder ; Halpert, Richard L. ; Kolaitis, Phokion G.
Journal on Data Semantics: Concepts and Ideas for Building Knowledgeable Systems. June 2016 5(2):77-97

Fachzeitschrift
Zu den Favoriten
13

Design and implementation of aggregate functions in the DLV system
FABER, WOLFGANG ; GERALD PFEIFER ; LEONE, Nicola ; et al.
Theory and Practice of Logic Programming. 8:545-580

FOS: Computer and inform... Computer Science - Logic... I.2.3 D.3.1 I.2.4 Artificial Intelligence... …
Fachzeitschrift
Zu den Favoriten
14

Outlier detection using default reasoning
ANGIULLI Fabrizio ; BEN-ELIYAHU-ZOHARY Rachel ; PALOPOLI Luigi
Artificial Intelligence. 172:1837-1872

Computational complexity Knowledge representation Artificial Intelligence Nonmonotonic reasoning Outlier detection 0202 electrical engineer... …
Fachzeitschrift
Zu den Favoriten
15

Disjunctive logic programming with types and objects: The DLV+ system
RICCA, Francesco ; LEONE N.
Journal of Applied Logic. 5:545-573

Answer Set Programming Knowledge Representation... Non monotonic reasoning Logic Objects Applied Mathematics …
Fachzeitschrift
Zu den Favoriten
16

Experimenting with parallelism for the instantiation of ASP programs
CALIMERI, F ; PERRI, S ; RICCA, F
Post-proceedings of RCRA 2007Journal of algorithms (Print). 63(1-3):34-54

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Fachzeitschrift
Zu den Favoriten
17

Abductive logic programs with penalization: semantics, complexity and implementation: Abductive logic programs with penalization: semantics, complexity an implementation
PERRI, Simona ; SCARCELLO, Francesco ; LEONE, Nicola
Theory and Practice of Logic Programming. 5:123-159

stable models FOS: Computer and inform... Logic in artificial inte... optimization problems computational complexity penalization …
Fachzeitschrift
Zu den Favoriten
18

Enhancing disjunctive logic programming systems by SAT checkers
KOCH C ; LEONE, Nicola ; PFEIFER G.
Artificial Intelligence. 151:177-212

Head-cycle-free programs Answer set programs Artificial Intelligence Nonmonotonic reasoning 0202 electrical engineer... 0102 computer and inform... …
Fachzeitschrift
Zu den Favoriten
19

A logic programming approach to knowledge-state planning, II: The system: Semantics and complexity
EITER T ; FABER, WOLFGANG ; LEONE, Nicola ; et al.
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

FOS: Computer and inform... Computer Science - Logic... I.2.3 I.2.4 Computer Science - Artif... Secure planning …
Fachzeitschrift
Zu den Favoriten
20

On the equivalence of the static and disjunctive well-founded semantics and its computation
Teodor C. Przymusinski ; Jürgen Dix ; Stefan Brass ; et al.
Theoretical Computer Science. 258:523-553

Database theory Semantics in the theory... 0202 electrical engineer... disjunctive deductive da... 0102 computer and inform... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter