Výsledky vyhľadávania - "Implementations of Logic Programming"

Implementations of Logic Programming Systems

Autori: Tick E Succi G

Predmety: implementations of logic programming systems, Practical Implementations, n Logic Programming Systems, Parallel Implementations

Prístupová URL adresa: https://philpapers.org/rec/TICIOL
https://ci.nii.ac.jp/ncid/BA22904382
https://www.dropbox.com/s/nv19otbafi64pm6/Succi.E1.ImplementationsOfLogicProgrammingSystems.pdf?dl=0
https://hdl.handle.net/11585/894859

Backtracking in independent and-parallel implementations of logic programming languages

Autori: E. Pontelli G. Gupta

Zdroj: IEEE Transactions on Parallel and Distributed Systems. 12:1169-1189

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Prístupová URL adresa: http://ieeexplore.ieee.org/document/969127/
https://ieeexplore.ieee.org/document/969127/
https://dblp.uni-trier.de/db/journals/tpds/tpds12.html#PontelliG01
http://doi.ieeecomputersociety.org/10.1109/71.969127

Guest editors' introduction: High-performance implementations of logic programming systems

Autori: Mats Carlsson Gopal Gupta

Zdroj: The Journal of Logic Programming. 29:1-3

Predmety: Logic, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Prístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S0743106696000660
https://dblp.uni-trier.de/db/journals/jlp/jlp29.html#GuptaC96a

Backtracking in Independent And-Parallel Implementations of Logic Programming Languages.

Autori: Pontelli, Enrico Gupta, Gopal

Zdroj: IEEE Transactions on Parallel & Distributed Systems; Nov2001, Vol. 12 Issue 11, p1169, 21p, 8 Diagrams, 1 Chart, 9 Graphs

Predmety: BACKTRACK programming, LOGIC programming

Efficient implementation of general negation using abstract interpretation

Autori: Muñoz Hernández, Susana Moreno Navarro, Juan José Hermenegildo, Manuel V.

Zdroj: Procredings. of the AGP'2000 Joint Conference on Declarative Programming | AGP'2000 Joint Conference on Declarative Programming | 4-7 December, 2000 | La Habana, Cuba
Archivo Digital UPM
instname

Predmety: Informática, Interpretación de resúmenes, Constraint Logic Programming, Implementaciones de programación lógica, Análisis de programas, Program analysis, Negation in Logic Programming, Abstract interpretation, Programación lógica restringida, Negación en programación lógica, Implementations of logic Programming

Popis súboru: application/pdf

Prístupová URL adresa: https://oa.upm.es/14619/

Efficient Implementation of General Negation Using Abstract Interpretation

Autori: Susana Munoz Juan Jose Moreno Manuel Hermenegildo a ďalší

Prispievatelia: Susana Munoz Juan Jose Moreno Manuel Hermenegildo a ďalší

Zdroj: http://lml.ls.fi.upm.es/~jjmoreno/jjpapers/imp-negation.ps.

Predmety: Negation in Logic Programming, Constraint Logic Programming, Program Analysis, Implementations of Logic Programming, Abstract Interpretation

Popis súboru: application/postscript

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.9341
http://lml.ls.fi.upm.es/~jjmoreno/jjpapers/imp-negation.ps

Efficient Implementation of General Negation Using Abstract Interpretation

Autori: Susana Munoz Juan Jose Moreno Juan José a ďalší

Prispievatelia: Susana Munoz Juan Jose Moreno Juan José a ďalší

Zdroj: http://clip.dia.fi.upm.es/papers/negation-gulp.pdf.

Predmety: Negation in Logic Programming, Constraint Logic Programming, Program Analysis, Implementations of Logic Programming, Abstract Interpretation

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.4564
http://clip.dia.fi.upm.es/papers/negation-gulp.pdf

Implementations of Logic Programming Systems

Autori: Evan Tick Giancarlo Succi

Typ zdroja: eBook.

Predmet: Logic programming

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / General, COMPUTERS / Operating Systems / General, COMPUTERS / Software Development & Engineering / General

Divided we stand: Parallel distributed stack memory management

Autori: Kish, Shen Hermenegildo, Manuel V.

Zdroj: Implementations of Logic Programming Systems | ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems | August 4, 1999 | Budapest, Hungary

Predmety: Informática

Popis súboru: application/pdf

Relation: https://oa.upm.es/14575/

Dostupnosť: https://oa.upm.es/14575/

Logic-Based Models of Computation.

Autori: Fernández, Maribel

Zdroj: Models of Computation; 2009, p69-89, 21p

Data structures for order-sensitive predicates in parallel nondeterministic systems.

Autori: Ranjan, Desh Pontelli, Enrico Gupta, Gopal

Zdroj: Acta Informatica; 2000, Vol. 37 Issue 1, p21, 23p

Predmety: LOGIC programming languages, COMPUTER science

Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems

Autori: Angelopoulos, Nicos Bagnara, Roberto

Témy: Computer Science - Programming Languages, Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/1302.0126

On the complexity of parallel implementation of logic programs.

Autori: Goos, Gerhard Hartmanis, Juris Leeuwen, Jan a ďalší

Zdroj: Foundations of Software Technology & Theoretical Computer Science. 1997, p123-137. 15p.

Better Late Than Never

Autori: Meier, Micha

Zdroj: Implementations of Logic Programming Systems ; page 151-165 ; ISBN 9781461361572 9781461526902

Dostupnosť: https://doi.org/10.1007/978-1-4615-2690-2_11
http://link.springer.com/content/pdf/10.1007/978-1-4615-2690-2_11.pdf

INVARIANT SIGNATURE, LOGIC REASONING, AND SEMANTIC NATURAL LANGUAGE PROCESSING (NLP)-BASED AUTOMATED BUILDING CODE COMPLIANCE CHECKING (I-SNACC) FRAMEWORK.

Autori: Jin Wu Xiaorui Xue Jiansong Zhang

Zdroj: Journal of Information Technology in Construction; 2023, Vol. 28, p1-18, 18p

Predmety: CONSTRUCTION laws, REASONING, NATURAL language processing, BUILDING information modeling, AUTOMATION in information retrieval

Exploiting type analysis for unification in a distributed environment

Autori: UCL Lamma, E Mello, P a ďalší

Zdroj: Computers and Artificial Intelligence, Vol. 18, no. 5, p. 447-465 (1999)

Témy: logic programming, distributed implementation, program analysis and optimization, info:eu-repo/semantics/article

URL: http://hdl.handle.net/2078.1/44069

High-level characteristics of or-and independent and-parallelism in prolog

Autori: Shen, Kish Hermenegildo, Manuel V.

Zdroj: Journal of Parallel Programming, ISSN 0885-7458, 1996-10, Vol. 24, No. 5

Témy: Informática, info:eu-repo/semantics/article, Artículo, PeerReviewed

URL: https://oa.upm.es/14290/
http://link.springer.com/article/10.1007%2FBF02583023
http://link.springer.com/article/10.1007%2FBF02583023
info:eu-repo/semantics/altIdentifier/doi/10.1007/BF02583023

Incorporating symbolic domain knowledge into graph neural networks.

Autori: Dash, Tirtharaj Srinivasan, Ashwin Vig, Lovekesh

Zdroj: Machine Learning; Jul2021, Vol. 110 Issue 7, p1609-1636, 28p

Predmety: KNOWLEDGE graphs, ARTIFICIAL neural networks, INDUCTION (Logic), LOGIC programming, MACHINE learning

Implementing Logic Programming Systems: The Quiche-Eating Approach

Autori: Saumya K. Debray

Zdroj: Implementations of Logic Programming Systems ISBN: 9781461361572

Prístupová URL adresa: https://rd.springer.com/chapter/10.1007/978-1-4615-2690-2_5
https://link.springer.com/chapter/10.1007%2F978-1-4615-2690-2_5
https://dblp.uni-trier.de/db/conf/iclp/iclp93-w1.html#Debray93a
https://link.springer.com/content/pdf/10.1007%2F978-1-4615-2690-2_5.pdf

Logical theories and abstract argumentation: A survey of existing works.

Autori: Besnard, Philippe Cayrol, Claudette Lagasquie-Schiex, Marie-Christine a ďalší

Zdroj: Argument & Computation; 2020, Vol. 11 Issue 1/2, p41-102, 62p