Výsledky vyhľadávania - "Deduction and Theorem Proving- logic programming"
-
1
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.4314; http://arxiv.org/pdf/cs/0603025v2.pdf
-
2
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: application/pdf
-
3
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.2280; http://arxiv.org/pdf/cs/0603025v1.pdf
-
4
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: 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
-
5
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: application/pdf
-
6
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: 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
-
7
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.1854; http://arxiv.org/pdf/cs/0403002v1.pdf
-
8
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Deduction and Theorem Proving—Logic Programming General Terms, Theory, Languages Additional Key Words and Phrases, Reasoning about actions, situation calculus, agent behavior
Popis súboru: 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
-
9
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: 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
-
10
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: application/postscript
-
11
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: application/pdf
-
12
Autori:
Prispievatelia:
Zdroj: ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/superfiniteness.ps.Z
Predmety: 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
Popis súboru: application/postscript
-
13
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: 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
-
14
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: 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
-
15
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: application/postscript
-
16
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: 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
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: 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
-
18
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: 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
-
19
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory--- semantics, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic--- logic programming, model theory, I.2.3 [Artificial 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, fixpoints, unfounded sets, stable models, three-valued
Popis súboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.2340; http://www.cs.columbia.edu/~kar/pubsk/wfjacm.ps
-
20
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 1.2.3 [Artificial Intelligence, Deduction and Theorem Proving-logic programming General Terms, Algorithms, Theory Additional Key Words and Phrases, Equivalence, knowledge database, linear and nonlinear recursive rules, logic database
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.9295; http://www.cs.utsa.edu/~wzhang/mypapers/tods90.pdf
Nájsť tento článok vo Web of Science