Suchergebnisse - Deduction and Theorem Proving—Logic Programming
-
1
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.4314; http://arxiv.org/pdf/cs/0603025v2.pdf
-
2
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.2280; http://arxiv.org/pdf/cs/0603025v1.pdf
-
3
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
6
Autoren: Straccia U
Quelle: 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, 2005Schlagwörter: 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
Dateibeschreibung: application/pdf
-
7
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
9
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Deduction and Theorem Proving—Logic Programming General Terms, Theory, Languages Additional Key Words and Phrases, Reasoning about actions, situation calculus, agent behavior
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.1854; http://arxiv.org/pdf/cs/0403002v1.pdf
-
12
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
14
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/postscript
-
15
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/postscript
-
16
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Quelle: ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/superfiniteness.ps.Z
Schlagwörter: 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
Dateibeschreibung: application/postscript
-
18
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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