Search Results - Deduction AND Theorem Proving—Logic Programming
-
1
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic Programming, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods General Terms, Theory Additional Key Words and Phrases, Answer Set Programming, Open Domains, Fixed Point Logic
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.4314; http://arxiv.org/pdf/cs/0603025v2.pdf
-
2
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic Programming, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods General Terms, Theory Additional Key Words and Phrases, Answer Set Programming, Open Domains, Fixed Point Logic
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.2280; http://arxiv.org/pdf/cs/0603025v1.pdf
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics, F.3.2 [Logics And Meanings Of Programs, Semantics of Programming Languages—Algebraic approaches to semantics, F.4.1 [Mathematical Logic And Formal Languages, Mathematical Logic— Computational logic, Logic and constraint programming, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic programming, Nonmonotonic reasoning and belief revision, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods General Terms, Languages, Theory
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.120.7036; http://www.cs.uky.edu/~marek/papers.dir/02.dir/indDefs.pdf
-
4
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.2 [Programming Techniques, Automatic Programming, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving---logic programming, D.1.6 [Programming Techniques, Logic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic---logic programming, I.2.2 [Artificial Intelligence, Automatic Programming General Terms, Algorithms, Performance, Theory Additional Key Words and Phrases, Flow analysis, partial deduction, partial evaluation, program transformation, supercompilation
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.6858; http://www.cs.kuleuven.ac.be/~dtai/publications/files/2632.ps.gz
-
5
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic programming, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—Predicate logic, I.2.6 [Artificial Intelligence, Learning—Concept learning, Induction General Terms, Algorithms, Experimentation Additional Key Words and Phrases, Data mining, inductive logic programming, machine learning, relational databases
File Description: application/pdf
-
6
Authors: Straccia U
Source: Proceedings of the 11th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU-06), pp. 1212–1219, Paris, 04/07/2006
info:cnr-pdr/source/autori:Straccia U./congresso_nome:Proceedings of the 11th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU-06)/congresso_luogo:Paris/congresso_data:04%2F07%2F2006/anno:2006/pagina_da:1212/pagina_a:1219/intervallo_pagine:1212–1219
ISTI Technical reports, 2005Subject Terms: F.4.1 Mathematical Logic. Logic and constraint programming, I.2 Artificial Intelligence, Many-valued logic programming, I.2.3 Deduction and Theorem Proving. Logic programming
File Description: application/pdf
-
7
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.2 [Programming Tech- niques, Automatic Programming, D.1.6 [Programming Tech- niques, Logic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic — logic programming, I.2.2 [Artificial Intelligence, I.2.3 [Ar- tificial Intelligence, Deduction and Theorem Proving — logic pro- gramming Keywords Partial evaluation, partial deduction, Prolog, program transformation
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.502.1246; http://eprints.soton.ac.uk/262652/1/ecce_logen_tool.pdf
-
8
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods, and Search—Plan generation, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic programming, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—Representation languages General Terms, Planning, Control Knowledge, Answer Set Planning Additional Key Words and Phrases, Reasoning about actions, Procedural knowledge
File Description: application/pdf
-
9
Authors: et al.
Contributors: et al.
Subject Terms: Deduction and Theorem Proving|Logic programming, I.2.2 [Articial Intelligence, Automatic Programming|Program verication General Terms, Languages, Verication, Termination Additional Key Words and Phrases, Logic programs, dynamic scheduling, simply moded, termination
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.8239; http://www.dsi.unive.it/%7Esrossi/Papers/tocl_input.ps.gz
-
10
Authors: et al.
Contributors: et al.
Subject Terms: Deduction and Theorem Proving—Logic Programming General Terms, Theory, Languages Additional Key Words and Phrases, Reasoning about actions, situation calculus, agent behavior
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.3830; http://www.dis.uniroma1.it/%7Edegiacom/papers/2001/DeLS01tocl.pdf
-
11
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving- Logic programming Additional Key Words and Phrases, Bilattices, Fixed-point semantics, Logic programs, Stable model semantics, Non-monotonic reasoning
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.1854; http://arxiv.org/pdf/cs/0403002v1.pdf
-
12
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, F.2.0 [Analysis of Algorithms and Problem Complexity, General, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Computational logic, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic programming, nonmonotonic reasoning and belief revision, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—Temporal logic General Terms, Theory Additional Key Words and Phrases, Answer-set semantics, computational complexity, knowledgebase evolution, logic-program updates, nonmonotonic knowledge bases, program equivalence, temporal reasoning
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.331.2678; http://haendel.kr.tuwien.ac.at/staff/michael/research/tocl05.pdf
-
13
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, F.2.0 [Analysis of Algorithms and Problem Complexity, General, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic— computational logic, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—logic programming, nonmonotonic reasoning and belief revision, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—temporal logic General Terms, Theory Additional Key Words and Phrases, Answer-set semantics, computational complexity, knowledgebase evolution, logic-program updates, nonmonotonic knowledge bases, program equivalence, temporal
File Description: application/pdf
-
14
Authors: et al.
Contributors: et al.
Subject Terms: Mathematical Logic---Logic and constraint programming, Modal logic, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving---Logic Programming, Nonmonotonic reasoning and belief revision, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods---Modal logic General Terms, Non-Monotonic Reasoning, Logics of Knowledge and Beliefs, Semantics of Logic Programs and Deductive Databases Additional Key Words and Phrases, Disjunctive logic programming, negation, static semantics, well-founded semantics
File Description: application/postscript
-
15
Authors:
Contributors:
Subject Terms: operational semantics, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic- logic programming, I.2.2 [Artificial Intelligence, Automatic Programming- program transformation, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving- logic programming
File Description: application/postscript
-
16
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.2.2 [Software Engineering, Tools and Techniques, D.2.4 [Software Engineering, Program Verification, D.3.1 [Programming Languages, Formal Definitions and Theory- semantics, F.3.2 [Logic and Meaning of Programs, Semantics of Programming Languages, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving- logic programming. Keywords, Abstract interpretation, logic programming, program analysis
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.2486; http://profs.sci.univr.it/~giaco/download/toplas15.ps.gz
-
17
Authors:
Contributors:
Source: ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/superfiniteness.ps.Z
Subject Terms: I.2.3 [Computing Methodologies, Deduction and Theorem Proving-- logic programming. General Terms, Algorithms, languages, theory. Additional Keywords and Phrases, Query processing, finiteness constraints, finite queries, horizontal decompositions, partial constraints, computability, axiomatization
File Description: application/postscript
-
18
Authors:
Contributors:
Subject Terms: Intelligence, Deduction and Theorem Proving—logic programming General Terms—Design, Management, Theory Additional Keywords and Phrases—Deductive databases, incomplete information, Horn clause, query evaluation, Prolog Source of Publication—ACM Transactions on Information Systems, Vol
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.9637; http://www.citr.com.au/pdfs/96journ/96p10.pdf
-
19
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Denitions and Theory | semantics, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic | logic programming, model theory, I.2.3 [Articial Intelligence, Deduction and Theorem Proving | logic programming, nonmonotonic reasoning and belief revision General Terms, Languages, Theory Additional Key Words and Phrases, negation as failure, well-founded models, xpoints, unfounded sets, stable models, three-valued logic
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.650.646; http://users.soe.ucsc.edu/~avg/Papers/oct92.pdf
-
20
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Denitions and Theory | semantics, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic | logic programming, model theory, I.2.3 [Articial Intelligence, Deduction and Theorem Proving | logic programming, nonmonotonic reasoning and belief revision General Terms, Languages, Theory Additional Key Words and Phrases, negation as failure, well-founded models, xpoints, unfounded sets, stable models, three-valued logic
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.646.8051; http://users.soe.ucsc.edu/~avg/Papers/wf.pdf
Nájsť tento článok vo Web of Science