Výsledky vyhledávání - "Mathematical Logic- logic programming"
-
1
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: 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
-
2
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.1.2 [Programming Techniques, Automatic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—logic programming General Terms, Languages, Theory Additional Key Words and Phrases, Termination analysis, dynamic characterization, Prolog
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.1556; http://arxiv.org/pdf/cs/0204031v1.pdf
-
3
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.1.2 [Programming Techniques, Automatic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic|logic programming General Terms, Languages, Theory Additional Key Words and Phrases, Termination analysis, dynamic characterization, Prolog
Popis souboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.7330; http://web.cs.ualberta.ca/~you/papers/ACMCL.ps
-
4
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.1.2 [Programming Techniques, Automatic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—logic programming General Terms, Languages, Theory Additional Key Words and Phrases, Prolog, tabling, SLG-resolution
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.8927; http://www.cs.kuleuven.be/~dtai/publications/files/35050.pdf
-
5
Autoři: a další
Přispěvatelé: a další
Témata: 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 souboru: 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
-
6
Autoři: a další
Přispěvatelé: a další
Témata: 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 souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.4674; http://repository.readscheme.org/ftp/papers/leuschel/leuschel98controlling.pdf
-
7
Autoři:
Přispěvatelé:
Témata: 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 souboru: application/postscript
-
8
Autoři: a další
Přispěvatelé: a další
Zdroj: ftp://ftp.informatik.uni-freiburg.de/documents/papers/JACMflogic.ps.gz
Témata: I.2.3 [Artificial Intelligence, Deduction and theorem proving---deduction, logic programming, nonmonotonic reasoning, F.4.1 [Mathematical Logic and Formal Languages, Mathematical logic--- logic programming, mechanical theorem proving General Terms, Languages, Theory Additional Key Words and Phrases, Object-oriented programming, frame-based languages, deductive databases, semantics, proof theory, typing, nonmonotonic inheritance
Popis souboru: application/postscript
-
9
Autoři:
Přispěvatelé:
Témata: 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 souboru: 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
-
10
Autoři: a další
Přispěvatelé: a další
Témata: 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 souboru: 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
-
11
Autoři: a další
Přispěvatelé: a další
Témata: 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 souboru: 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
-
12
Autoři: a další
Přispěvatelé: a další
Témata: I.2.3 [Artificial Intelligence, Deduction and theorem proving---deduction, logic programming, nonmonotonic reasoning, F.4.1 [Mathematical Logic and Formal Languages, Mathematical logic--- logic programming, mechanical theorem proving General Terms, Languages, Theory Additional Key Words and Phrases, Object-oriented programming, frame-based languages, deductive databases, semantics, proof theory, typing, nonmonotonic inheritance
Popis souboru: application/postscript
-
13
Autoři: a další
Přispěvatelé: a další
Témata: I.2.3 [Artificial Intelligence, Deduction and theorem proving---deduction, logic programming, nonmonotonic reasoning, F.4.1 [Mathematical Logic and Formal Languages, Mathematical logic--- logic programming, mechanical theorem proving General Terms, Languages, Theory Additional Key Words and Phrases, Object-oriented programming, frame-based languages, deductive databases, semantics, proof theory, typing, nonmonotonic inheritance
Popis souboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.5449; http://www.fi.muni.cz/usr/popelinsky/lectures/databaze/flogic.ps
-
14
Autoři:
Přispěvatelé:
Zdroj: http://www.phys-campus.uni-altai.ru/files/1049873461/1117434990/ParsingAndCompilingUsingProlog.pdf.
Témata: Categories and Subject Descriptors, D.l.O [Programming Techniques, General, D.2.m [Software Engineering, Miscellaneous--rapid prototyping, D.3.4 [Programming Languages, Processors, F.4.1. [Mathematical Logic and Formal Languages, Mathematical Logic--logic programming 1.2.3 [Artificial Intelligence, Deduction and Theorem Proving--logic programming General Terms, Algorithms, Languages, Theory, Verification Additional Key Words and Phrases, Code generation, grammar properties, optimization, parsing
Popis souboru: application/pdf
-
15
Autoři:
Přispěvatelé:
Témata: Logic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic — logic programming, I.2.2 [Artificial Intelligence, Automatic Programming, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving — logic programming Keywords Partial evaluation, partial deduction, Prolog, program transformation
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.9095; http://www.mauricio.varea.info/publications/papers/conferences/1111557.pdf
-
16
Autoři:
Přispěvatelé:
Témata: Logic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic — logic programming, I.2.2 [Artificial Intelligence, Automatic Programming, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving — logic programming Keywords Partial evaluation, partial deduction, Prolog, program transformation
Popis souboru: application/pdf
-
17
Autoři: a další
Přispěvatelé: a další
Témata: Mathematical logic--- Logic programming, H.2.4 [Database Management, Systems--- Query processing, I.2.3 [Artificial Intelligence, Deduction and logic programming General Terms, Algorithms, Theory Additional Key Words and Phrases, arity reduction, bottom-up evaluation, database, deductive database, logic program, magic rewriting, program decomposition 1
Popis souboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.4215; http://www.comp.nus.edu.sg/~wangk/pub/jacm.ps
Nájsť tento článok vo Web of Science