Výsledky vyhľadávania - D.1.6 Logic Programming

A Framework for Extending microKanren with Constraints

Autori: Jason Hemann Daniel Friedman

Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 234, Iss Proc. WLP 2015/'16/WFLP'16, Pp 135-149 (2017)

Predmety: D.3.2 Constraint and Logic Languages, FOS: Computer and information sciences, Computer Science - Programming Languages, D.1.6 Logic Programming, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, D.3.3 Constraints, Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Mathematics, Programming Languages (cs.PL)

Prístupová URL adresa: https://arxiv.org/pdf/1701.00633
http://arxiv.org/abs/1701.00633
https://doaj.org/article/8daa6fddacb94d3bb2ac336fdd46b2e3
https://arxiv.org/pdf/1701.00633
https://arxiv.org/abs/1701.00633

Introducing dynamic behavior in amalgamated knowledge bases

Autori: E. BERTINO CATANIA, BARBARA P. PERLASCA

Zdroj: Theory and Practice of Logic Programming. 3:625-669

Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Active rule, Deductive databases, Heterogeneous databases, Update, active rules, Computer Science - Programming Languages, D.1.6 Logic Programming, F.4.1 Mathematical Logic, Logic and constraint programming, Database theory, Databases (cs.DB), 02 engineering and technology, Logic programming, H.2.5 Heterogeneous Databases, Logic in Computer Science (cs.LO), Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.), Computer Science - Databases, heterogeneous databases, 0202 electrical engineering, electronic engineering, information engineering, deductive databases, updates, Programming Languages (cs.PL)

Popis súboru: application/xml

Prístupová URL adresa: http://arxiv.org/pdf/cs/0207076
http://arxiv.org/abs/cs/0207076
https://dblp.uni-trier.de/db/journals/tplp/tplp3.html#BertinoCP03
https://air.unimi.it/handle/2434/141747
https://arxiv.org/abs/cs.PL/0207076
http://dblp.uni-trier.de/db/journals/corr/corr0207.html#cs-PL-0207076
https://arxiv.org/pdf/cs/0207076
https://hdl.handle.net/11567/208493

Logic Programming : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

Autori: Patricia M. Hill David S. Warren

Typ zdroja: eBook.

Predmet: Computer science, Compilers (Computer programs), Computer programming, Computer science—Mathematics, Artificial intelligence

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, MATHEMATICS / Applied

Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

Autori: Maria Garcia Banda Enrico Pontelli

Typ zdroja: eBook.

Predmet: Computer programming, Artificial intelligence—Data processing, Computer science, Artificial intelligence, Compilers (Computer programs), Machine theory

Kategórie: COMPUTERS / Programming / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management

Logic Programming : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings

Autori: Verónica Dahl Ilkka Niemelä

Typ zdroja: eBook.

Predmet: Software engineering, Computer programming, Artificial intelligence, Compilers (Computer programs), Computer science, Machine theory

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General

Logic Programming : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Autori: Sandro Etalle Miroslav Truszczynski

Typ zdroja: eBook.

Predmet: Software engineering, Computer programming, Artificial intelligence, Compilers (Computer programs), Computer science, Machine theory

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General

An Efficient and Flexible Engine for Computing Fixed Points

Autori: Hai-feng Guo Gopal Gupta The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Hai-feng Guo Gopal Gupta The Pennsylvania State University CiteSeerX Archives

Zdroj: http://arxiv.org/pdf/cs/0412041v1.pdf.

Predmety: 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 súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.6253; http://arxiv.org/pdf/cs/0412041v1.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.6253
http://arxiv.org/pdf/cs/0412041v1.pdf

On the Strong Equivalences for LPMLN Programs

Autori: Bin Wang Jun Shen Shutao Zhang a ďalší

Zdroj: Logical Methods in Computer Science, Vol 17, Issue 1 (2021)

Predmety: computer science - logic in computer science, d.1.6, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

Popis súboru: electronic resource

Relation: https://lmcs.episciences.org/5752/pdf; https://doaj.org/toc/1860-5974

Prístupová URL adresa: https://doaj.org/article/fddc89d27d5448dda83456b9d41c5656

Logic Programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings

Autori: Maurizio Gabbrielli Gopal Gupta

Typ zdroja: eBook.

Predmet: Logic programming--Congresses, Artificial intelligence

Kategórie: COMPUTERS / Programming / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science

Logic Programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings

Autori: Peter J. Stuckey

Typ zdroja: eBook.

Predmet: Computer systems, Software engineering, Mathematical logic, Artificial intelligence, Computer programming, Compilers (Computer programs)

Kategórie: COMPUTERS / Computer Architecture, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, MATHEMATICS / Logic

OpenRuleBench: An analysis of the performance of rule engines

Autori: Senlin Liang Paul Fodor Hui Wan a ďalší

Prispievatelia: Senlin Liang Paul Fodor Hui Wan a ďalší

Zdroj: http://www.cs.sunysb.edu/~kifer/TechReports/OpenRuleBench09.pdf.

Predmety: Categories and Subject Descriptors H.3.4 [Information Storage and Retrieval, Performance Evaluation, H.2.4 [Database Management, Rule-Based Databases, D.1.6 [Logic Programming] General Terms Experimentation, Performance, Languages Keywords OpenRuleBench, Semantic Web, Rule Systems, Benchmark

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.3093; http://www.cs.sunysb.edu/~kifer/TechReports/OpenRuleBench09.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.3093
http://www.cs.sunysb.edu/~kifer/TechReports/OpenRuleBench09.pdf

Logic Programming : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings

Autori: Philippe Codognet

Typ zdroja: eBook.

Predmet: Computer systems, Software engineering, Computer programming, Artificial intelligence, Compilers (Computer programs), Computer science

Kategórie: COMPUTERS / Computer Architecture, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Inductive Logic Programming : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers

Autori: Stephen Muggleton Alireza Tamaddoni-Nezhad Francesca A. Lisi

Typ zdroja: eBook.

Predmet: Logic programming--Congresses, Induction (Logic)--Congresses, Automatic hypothesis formation--Congresses

Kategórie: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Programming / General

Inductive Logic Programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected Papers

Autori: Fabrizio Riguzzi Filip Zelezny

Typ zdroja: eBook.

Predmet: Machine theory, Artificial intelligence, Computer programming, Computer science

Kategórie: COMPUTERS / Computer Science, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / General

Tableau Calculi for Logic Programs under Answer Set Semantics

Autori: Martin Gebser Torsten Schaub The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Martin Gebser Torsten Schaub The Pennsylvania State University CiteSeerX Archives

Zdroj: http://tocl.acm.org/accepted/461gebser.pdf.

Predmety: Categories and Subject Descriptors, D.1.6 [Logic Programming, General Terms, Theory Additional Key Words and Phrases, Answer Set Programming, Tableau calculi, Proof complexity

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.4467; http://tocl.acm.org/accepted/461gebser.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.4467
http://tocl.acm.org/accepted/461gebser.pdf

Tableau Calculi for Logic Programs under Answer Set Semantics

Autori: Martin Gebser Torsten Schaub The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Martin Gebser Torsten Schaub The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.uni-potsdam.de/wv/pdfformat/gebsch12a.pdf.

Predmety: Categories and Subject Descriptors, D.1.6 [Logic Programming, General Terms, Theory Additional Key Words and Phrases, Answer Set Programming, Tableau calculi, Proof complexity

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.303.1036

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.303.1036
http://www.cs.uni-potsdam.de/wv/pdfformat/gebsch12a.pdf

Inductive Logic Programming : 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings

Autori: Filip Železný Nada Lavrač

Typ zdroja: eBook.

Predmet: Artificial intelligence, Computer programming, Machine theory, Algorithms, Data mining

Kategórie: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms, MATHEMATICS / Probability & Statistics / General

Automated Termination Proofs for Logic Programs by Term Rewriting.

Autori: Schneider-Kamp, Peter Giesl, Jürgen Serebrenik, Alexander a ďalší

Zdroj: ACM Transactions on Computational Logic; Oct2009, Vol. 11 Issue 1, p2-2:52, 52p, 4 Charts

Predmety: REWRITING systems (Computer science), COMPUTER software termination, LOGIC programming, MATHEMATICAL transformations, INFINITY (Mathematics)

Inductive Logic Programming : 16th International Conference, ILP 2006, Santiago De Compostela, Spain, August 24-27, 2006, Revised Selected Papers

Autori: Stephen Muggleton Ramon Otero Alireza Tamaddoni-Nezhad

Typ zdroja: eBook.

Predmet: Logic programming--Congresses

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

Functional and Logic Programming : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings

Autori: Jacques Garrigue Manuel Hermenegildo

Typ zdroja: eBook.

Predmet: Compilers (Computer programs), Computer programming, Computer science, Machine theory, Artificial intelligence

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Programming / General