Výsledky vyhledávání - I.2.3 Deduction and theorem proving. Logic programming*
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: ftp://ftp.di.unipi.it/pub/Papers/bista/sclp-toplas.ps.gz
Témata: Denotational semantics, Operational semantics, I.2.3 [Deduction and Theorem Proving, Logic programming, I.2.4 [Articial Intelligence, Knowledge Representation Formalisms and Methods, I.2.5 [Articial Intelligence, Programming Languages and Software General Terms, Languages, Theory Additional Key Words and Phrases, Constraint, Soft Constraints, Constraint Programming Languages, Semantics
Popis souboru: application/postscript
-
2
Autoři: a další
Přispěvatelé: a další
Témata: F.3.2 [Logics And Meanings Of Programs, Semantics of Programming Languages— Denotational semantics, Operational semantics, I.2.3 [Deduction and Theorem Proving, Logic programming, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods, I.2.5 [Artificial Intelligence, Programming Languages and Software General Terms, Languages, Theory Additional Key Words and Phrases, Constraints, soft constraints, semantics
Popis souboru: application/pdf
-
3
Autoři: Straccia U
Zdroj: 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, 2005Témata: 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
Popis souboru: application/pdf
-
4
Autoři:
Zdroj: ISTI Technical reports, 2005
Témata: top-down, I.2.3 Deduction and theorem proving. Logic programming, many-valued logic, nonmonotonic logic, Logic programming
Přístupová URL adresa: https://publications.cnr.it/doc/160229
http://www.cnr.it/prodotto/i/160229 -
5
Autoři: Straccia U
Zdroj: Uncertainty and Intelligent information Systems ISBN: 9789812792341
Proceedings of the 11th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU-06), pp. 1818–1825, Paris, France, 04-07/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, France/congresso_data:04-07%2F07%2F2006/anno:2006/pagina_da:1818/pagina_a:1825/intervallo_pagine:1818–1825
Uncertainty and intelligent information systems, edited by C. M. B. Bouchon-Meunier, R.R. Yager and M. Rifqi, pp. 405. Singapore: World Scientific Publ. Co., 2008
info:cnr-pdr/source/autori:Straccia U./titolo:Fuzzy description logic programs/titolo_volume:Uncertainty and intelligent information systems/curatori_volume:C. M. B. Bouchon-Meunier, R.R. Yager and M. Rifqi/editore: /anno:2008
ISTI Technical reports, pp.12, 2005Témata: Artificial intelligence, F.4.1 Mathematical Logic, Fuzzy Logic, Logic Programming, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, I.2.3 Deduction and Theorem Proving, Fuzziness, Logic Programs, Description Logics
Popis souboru: application/pdf
Přístupová URL adresa: http://gaia.isti.cnr.it/~straccia/download/papers/BookIPMU08/BookIPMU08.pdf
https://publications.cnr.it/doc/91326
http://ipmu2006.lip6.fr/program.php
http://www.cnr.it/prodotto/i/91326
https://publications.cnr.it/doc/160247
http://www.cnr.it/prodotto/i/160247
http://ipmu2006.lip6.fr/program.php
https://hdl.handle.net/20.500.14243/61489 -
6
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.1.6 [Logic Programming, F.3.2 [Semantics of Programming Languages, Operational semantics, F.4.1 [Computational logic, Logic programming, I.2.3 [Deduction and Theorem Proving, Resolution, I.2.8 [Problem Solving, Control Methods and Search, Dynamic Programming General Terms, Programming, Languages Additional Key Words and Phrases, Tabled resolution, dynamic programming, fixed point Author’s address, Hai-Feng Guo, Depar
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.6253; http://arxiv.org/pdf/cs/0412041v1.pdf
-
7
Autoři:
Zdroj: Theory and Practice of Logic Programming. 3:569-607
Témata: FOS: Computer and information sciences, Logic in artificial intelligence, I.2.3, Computer Science - Artificial Intelligence, D.1.6, Institut für Informatik und Computational Science, Semantics in the theory of computing, 0102 computer and information sciences, 02 engineering and technology, Symbolic computation and algebraic computation, Logic programming, 01 natural sciences, priorities, Mechanization of proofs and logical operations, Artificial Intelligence (cs.AI), 0202 electrical engineering, electronic engineering, information engineering, answer set programming, preferences, Theory of computation, Theorem proving (deduction, resolution, etc.)
Popis souboru: application/xml; application/pdf
Přístupová URL adresa: https://research-repository.griffith.edu.au/bitstream/10072/5918/1/23256.pdf
http://arxiv.org/abs/cs/0301023
https://zbmath.org/2092651
https://doi.org/10.1017/s1471068403001844
http://journals.cambridge.org/abstract_S1471068403001844
https://research-repository.griffith.edu.au/handle/10072/5918
https://www.cambridge.org/core/journals/theory-and-practice-of-logic -programming /article/semantic-framework-for-preference-handling-in-answer-set-programming /24BE965A9E63E66BDC1F2495D8FF7CE9
https://doi.org/10.1017/S1471068403001844
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S1471068403001844
https://research-repository.griffith.edu.au/bitstream/10072/5918/1/23256.pdf
https://publishup.uni-potsdam.de/frontdoor/index/index/docId/15922 -
8
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.3.2 [Programming Languages, Constraint and Logic Languages, D.3.3 [Programming Languages, Language Constructs and Features, F.4 [Mathematical Logic and Formal Languages, Mathematical Logic—Logic and Constraint Programming, Set Theory, I.2.3 [Deduction and Theorem Proving, Logic Programming General Terms, Theory, Algorithms Additional Key Words and Phrases, Membership and Equality Constraints, Lists, Multisets, Compact Lists, Sets
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.8246; http://www.math.unipr.it/~gianfr/PAPERS/Combining.ToCL07.pdf
-
9
Autoři: a další
Přispěvatelé: a další
Zdroj: Logical Methods in Computer Science, Vol Volume 4, Issue 2 (2008)
Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], i.2.3, Alternating automata, i.2.2, Logic, Pushdown Automata, 0102 computer and information sciences, 02 engineering and technology, F.1.1, F.1.2, I.2.2, I.2.3, 01 natural sciences, Tree automata, computer science - logic in computer science, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving, First-order theorem proving, resource-bounded), Symbolic constraints, push-down, 0202 electrical engineering, electronic engineering, information engineering, finite, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.0: Automata (e.g, f.1.1, BC1-199, f.1.2, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.2: Automatic Programming/I.2.2.4: Program verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], QA75.5-76.95, Logic in Computer Science (cs.LO), Electronic computers. Computer science
Popis souboru: application/pdf
-
10
Autoři: Walther Neuper
Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 79, Iss Proc. THedu 2011, Pp 82-101 (2012)
Témata: I.2.2, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, I.2.3, Computer Science - Programming Languages, I.2.5, D.3.2, Computer Science - Human-Computer Interaction, QA75.5-76.95, 0102 computer and information sciences, 01 natural sciences, Logic in Computer Science (cs.LO), Human-Computer Interaction (cs.HC), Electronic computers. Computer science, QA1-939, F.4.1, 0101 mathematics, Mathematics, Programming Languages (cs.PL)
Přístupová URL adresa: http://arxiv.org/pdf/1202.4832
http://arxiv.org/abs/1202.4832
https://doaj.org/article/31d1dbd398c641d49a80152c670843ac
https://arxiv.org/pdf/1202.4832v1
https://arxiv.org/abs/1202.4832
https://arxiv.org/abs/1202.4832
http://www.ist.tugraz.at/projects/isac/publ/lucas-interp.pdf
https://ui.adsabs.harvard.edu/abs/2012arXiv1202.4832N/abstract
https://arxiv.org/pdf/1202.4832.pdf -
11
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors F.3.1 [Logics and Meaning of Programs, Specifying and Verifying and Reasoning about Programs, I.2.3 [Deduction and Theorem Proving, Deduction General Terms Theory, Verification Keywords Automated Reasoning, Formal Proof, Term Rewriting, Termination
Popis souboru: application/pdf
-
12
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, I.2.3 [Deduction and Theorem Proving, Inference engines, Logic programming, Nonmonotonic reasoning and belief revision, F.4.1 [Mathematical Logic, Computational logic General Terms, Algorithms, Experimentation Additional Key Words and Phrases, answer set semantics, normal logic programs, disjunctive logic programs, loop formulas, well-founded semantics, answer set solvers
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.5227; http://tocl.acm.org/accepted/loop0and1.pdf
-
13
Autoři:
Přispěvatelé:
Zdroj: http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2003/dac03/pdffiles/48_3.pdf.
Témata: Categories and Subject Descriptors, I.2.3 [Deduction and Theorem Proving, Inference engines, G.1.6 [Optimization, Integer programming General Terms, Algorithms, Verification Keywords, satisfiability, pseudo-Boolean, 0-1 ILP
Popis souboru: application/pdf
-
14
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, F.4.1 [Mathematical Logic, Modal logic, Proof theory, I.2.3 [Deduction and Theorem Proving, Deduction, Logic Programming, I.2.4 [Knowledge Representation Formalisms and Methods, Modal logic General Terms, logic programming Additional Key Words and Phrases, indefinite information, goal-directed proof
Popis souboru: application/pdf
-
15
Autoři: Maria Paola Bonacina
Resource Type: eBook.
Témata: Kongress--2013.--Lake Placid, NY, Conference papers and proceedings, Automatic theorem proving--Congresses, Logic, Symbolic and mathematical--Congresses, Automatic theorem proving, Logic, Symbolic and mathematical, Automatisches Beweisverfahren
Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms
-
16
Přispěvatelé: The Pennsylvania State University CiteSeerX Archives
Témata: Categories and Subject Descriptors F.4.1 [Mathematical Logic, Computational logic, I.2.3 [Deduction and Theorem Proving, Logic programming General Terms Design, Theory, Verification Keywords proof search, static analysis, Horn clauses, linear logic
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.1651; http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ppdp06.pdf
-
17
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, I.2.4 [Knowledge Representation Formalisms and Methods, Representation languages, I.2.3 [Deduction and Theorem Proving, Logic programming, Nonmonotonic reasoning and believe revision, Inference engines, F.4.1 [Mathematical Logic, Computational logic General Terms, Theory, Languages Additional
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.5133; http://tocl.acm.org/accepted/464knorr.pdf
-
18
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, I.2.4 [Knowledge Representation Formalisms and Methods, Representations (procedural and rule-based, I.2.3 [Deduction and Theorem Proving, Logic programming Additional Key Words and Phrases, Social Network, Generalized Annotated Programs, Approximation Algorithms ACM Reference Format
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.4402; http://tocl.acm.org/accepted/SNOP.pdf
-
19
Autoři: a další
Přispěvatelé: a další
Témata: 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 souboru: 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
-
20
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
Nájsť tento článok vo Web of Science 
Full Text Finder