Search Results - (("Theory and practice of logic programming") OR ("Theory and practice of login programming"))
-
1
Authors: et al.
Source: eLLIIT – The Linköping – Lund Initiative on IT and Mobile Communication Theory and Practice of Logic Programming. 25(4):775-793
Subject Terms: computational complexity, fine-grained reasoning, Post’s framework, propositional abduction
File Description: electronic
-
2
Authors:
Source: Theory & Practice of Logic Programming; May2025, Vol. 25 Issue 3, p340-373, 34p
-
3
Authors: et al.
Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p649-667, 19p
-
4
Authors:
Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p417-436, 20p
Subject Terms: DATA visualization, VISUAL analytics, DATA visualization software
-
5
Authors:
Source: Theory and Practice of Logic Programming ; volume 16, issue 1, page 139-139 ; ISSN 1471-0684 1475-3081
-
6
Authors:
Source: Theory and Practice of Logic Programming. 25:340-373
-
7
-
8
Authors:
Contributors:
Subject Terms: Fuzzy logic, answer set programming, search-space pruning operators
File Description: application/pdf
-
9
Authors:
Contributors:
Subject Terms: Declarative debugging, information order, intended interpretation, logic program specification, many-valued logic, modes, program analysis, specification seman
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.2481; http://ww2.cs.mu.oz.au/~lee/papers/sem4lp/tplp.pdf
-
10
Authors:
Contributors:
Subject Terms: Answer Set Programming, Stable Models, Intensional Functions
File Description: application/pdf
-
11
Authors:
Contributors:
Subject Terms: horn clauses, datalog, monotonic aggregates, stable models
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.407.5635; http://www.cs.ucla.edu/~zaniolo/papers/S1471068413000380a.pdf
-
12
Authors:
Contributors:
Subject Terms: Floundering, delays, coroutining, program analysis, abstract interpretation, program
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.8994; http://ww2.cs.mu.oz.au/~lee/papers/flounder/paper.pdf
-
13
Authors: et al.
Contributors: et al.
Subject Terms: Event Recognition, Event Pattern Matching, Event Calculus, ProbLog
File Description: application/pdf
-
14
Authors: et al.
Contributors: et al.
Subject Terms: answer-set programming, program annotations, documentation, unit testing
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.1833; http://www.kr.tuwien.ac.at/research/projects/mmdasp/iclp2012.pdf
-
15
Authors:
Contributors:
Subject Terms: CHR, confluence, decreasing diagrams, modularity of confluence
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.259.8462; http://www.clip.dia.fi.upm.es/papers/Haemmerle12tplp.pdf
-
16
Authors:
Contributors:
Subject Terms: answer-set programming, unifor
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.464.9703; http://haendel.kr.tuwien.ac.at/staff/michael/research/corr10.pdf
-
17
Authors: et al.
Contributors: et al.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.357.9804; http://www.cwi.ugent.be/kim/tplp2011.pdf
-
18
Authors: et al.
Contributors: et al.
Subject Terms: Probabilistic Logic Programming, Tabling, Answer Subsumption, Logic Programs with Annotated Disjunction, Program Transformation
File Description: application/pdf
-
19
-
20
Authors: et al.
Contributors: et al.
Subject Terms: stable model semantics, loop formulas, unfounded sets
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.2588; http://peace.eas.asu.edu/joolee/papers/esdp.pdf
Nájsť tento článok vo Web of Science 
Full Text Finder