Search Results - (("Implementations of logic Programming") OR ("Implementations of login Programming"))~

Backtracking in independent and-parallel implementations of logic programming languages

Authors: E. Pontelli G. Gupta

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

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: 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

Authors: Tick E Succi G

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

Access URL: 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

Authors: Mats Carlsson Gopal Gupta

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

Subject Terms: Logic, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: 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.

Authors: Pontelli, Enrico Gupta, Gopal

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

Subject Terms: BACKTRACK programming, LOGIC programming

Efficient Implementation of General Negation Using Abstract Interpretation

Authors: Susana Munoz Juan Jose Moreno Manuel Hermenegildo et al.

Contributors: Susana Munoz Juan Jose Moreno Manuel Hermenegildo et al.

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

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

File Description: application/postscript

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

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

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

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

Subject Terms: 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

File Description: application/pdf

Access URL: https://oa.upm.es/14619/

Divided we stand: Parallel distributed stack memory management

Authors: Kish, Shen Hermenegildo, Manuel V.

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

Subject Terms: Informática

File Description: application/pdf

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

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

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

Authors: Jin Wu Xiaorui Xue Jiansong Zhang

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

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

Logic-Based Models of Computation.

Authors: Fernández, Maribel

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

Efficient Implementation of General Negation Using Abstract Interpretation

Authors: Susana Munoz Juan Jose Moreno Juan José et al.

Contributors: Susana Munoz Juan Jose Moreno Juan José et al.

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

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

File Description: application/pdf

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

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

Authors: Ilya Sergey

Resource Type: eBook.

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

Categories: 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.

Authors: Ranjan, Desh Pontelli, Enrico Gupta, Gopal

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

Subject Terms: LOGIC programming languages, COMPUTER science

Incorporating symbolic domain knowledge into graph neural networks.

Authors: Dash, Tirtharaj Srinivasan, Ashwin Vig, Lovekesh

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

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

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

Authors: Besnard, Philippe Cayrol, Claudette Lagasquie-Schiex, Marie-Christine et al.

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

On the complexity of parallel implementation of logic programs.

Authors: Goos, Gerhard Hartmanis, Juris Leeuwen, Jan et al.

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

Better Late Than Never

Authors: Meier, Micha

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

Availability: 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.

Authors: Miller, Dale

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

Subject Terms: METATHEORY, LIBRARIES, PROGRAMMING languages, SEMANTICS, DATA structures

Machine ethics via logic programming

Authors: Saptawijaya, Ari Pereira, Luís RUN

Contributors: Saptawijaya, Ari Pereira, Luís RUN

Subject Terms: Abduction, Counterfactual, Logic programming, Machine ethics, Morality, Nonmonotonic reasoning

File Description: application/pdf

Availability: http://hdl.handle.net/10362/15430

Learning Explanatory Rules from Noisy Data.

Authors: Evans, Richard Grefenstette, Edward

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

Subject Terms: ARTIFICIAL neural networks, PROBLEM solving

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

Authors: BÖRGER, EGON

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

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