Výsledky vyhľadávania - (("Implementations of logic Programming") OR ("Implementations of login Programming"))

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

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

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: 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: 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/

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/

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

Logic-Based Models of Computation.

Autori: Fernández, Maribel

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

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

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Autori: Ilya Sergey

Typ zdroja: eBook.

Predmet: Computer programming--Congresses, Programming languages (Electronic computers)--Congresses

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

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

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

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

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

Mechanized Metatheory Revisited.

Autori: Miller, Dale

Zdroj: Journal of Automated Reasoning; Oct2019, Vol. 63 Issue 3, p625-665, 41p

Predmety: METATHEORY, LIBRARIES, PROGRAMMING languages, SEMANTICS, DATA structures

Machine ethics via logic programming

Autori: Saptawijaya, Ari Pereira, Luís RUN

Prispievatelia: Saptawijaya, Ari Pereira, Luís RUN

Predmety: Abduction, Counterfactual, Logic programming, Machine ethics, Morality, Nonmonotonic reasoning

Popis súboru: application/pdf

Dostupnosť: http://hdl.handle.net/10362/15430

Learning Explanatory Rules from Noisy Data.

Autori: Evans, Richard Grefenstette, Edward

Zdroj: Journal of Artificial Intelligence Research; 2018, Vol. 61, p1-64, 64p

Predmety: ARTIFICIAL neural networks, PROBLEM solving

The abstract state machines method for mular design and analysis of pogramming languages.

Autori: BÖRGER, EGON

Zdroj: Journal of Logic & Computation; Mar2017, Vol. 27 Issue 2, p417-439, 23p

Predmety: COMPUTER simulation, FINITE state machines, ABSTRACT state machines (Computer science), PROGRAMMING languages, ARTIFICIAL languages, ELECTRONIC data processing