Suchergebnisse - concurrent logic programming

Grassroots Logic Programs: A Secure, Multiagent, Concurrent, Logic Programming Language

Autoren: Shapiro, Ehud

Schlagwörter: Programming Languages, Cryptography and Security, Distributed, Parallel, and Cluster Computing, Logic in Computer Science, Multiagent Systems

Relation: http://arxiv.org/abs/2510.15747

Verfügbarkeit: http://arxiv.org/abs/2510.15747

Constraint Satisfaction in Distributed Concurrent Logic Programming: Constraint satisfaction in distributed concurrent logic programming

Autoren: Keith L. Clark Ho-fung Leung

Quelle: Journal of Symbolic Computation. 21:699-714

Schlagwörter: Computational Mathematics, Algebra and Number Theory, D/C-Parlog, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, distributed concurrent constraints logic programming, Logic programming

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/968659
https://doi.org/10.1006/jsco.1996.0037
https://core.ac.uk/display/82548700
https://www.sciencedirect.com/science/article/pii/S0747717196900371
https://doi.org/10.1006/jsco.1996.0037
https://dblp.uni-trier.de/db/journals/jsc/jsc21.html#LeungC96

Debugging Tools for Concurrent Logic Programming: Debugging tools for concurrent logic programming

Autoren: Conlon, T Gregory, S

Quelle: The Computer Journal. 35:157-169

Schlagwörter: concurrent logic programming, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Parlog, Logic programming, debugging

Dateibeschreibung: application/xml

Zugangs-URL: https://academic.oup.com/comjnl/article-pdf/35/2/157/1031477/35-2-157.pdf
https://dblp.uni-trier.de/db/journals/cj/cj35.html#ConlonG92
https://academic.oup.com/comjnl/article/35/2/157/360267

The deevolution of concurrent logic programming languages

Autoren: Evan Tick

Quelle: The Journal of Logic Programming. 23:89-123

Schlagwörter: Logic, deevolution, 0202 electrical engineering, electronic engineering, information engineering, concurrent logic programming languages, 02 engineering and technology, Logic programming

Dateibeschreibung: application/xml

Zugangs-URL: https://www.sciencedirect.com/science/article/pii/0743106694000388
https://dblp.uni-trier.de/db/journals/jlp/jlp23.html#Tick95
https://doi.org/10.1016/0743-1066(94)00038-8
http://www.sciencedirect.com/science/article/pii/0743106694000388
https://core.ac.uk/display/82787481

Parallel and Distributed Implementation of Concurrent Logic Programming Language KL1

Autoren: Hirata, Keiji Yamamoto, Reki Imai, Akira et al.

Index Begriffe: Conference Paper

URL: http://hdl.handle.net/10445/7997

a concurrent operational semantics for constraint functional logic programming

Autoren: del Vado Vírseda, Rafael Pérez Morente, Fernando García Toledo, Marcos Miguel et al.

Weitere Verfasser: del Vado Vírseda, Rafael Pérez Morente, Fernando García Toledo, Marcos Miguel et al.

Schlagwörter: concurrent logic programming, Constraint logic programming, functional logic programming, ddc:004

Dateibeschreibung: application/pdf

Zugangs-URL: https://drops.dagstuhl.de/opus/volltexte/2012/3618/pdf/16.pdf
https://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#VirsedaMT12
https://drops.dagstuhl.de/opus/volltexte/2012/3618/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.154

design and implementation of a concurrent logic programming language with linear logic constraints

Autoren: Martinez, Thierry Thierry Martinez

Weitere Verfasser: Martinez, Thierry Thierry Martinez

Schlagwörter: Concurrent logic programming, ddc:004

Dateibeschreibung: application/pdf

Zugangs-URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.277

Compartmentalized Connection Graphs for Concurrent Logic Programming I : Compartmentalization, Transformation and Examples

Autoren: Powers, David M. W.

Schlagwörter: ddc:004

Information Flow in Concurrent Logic Programming

Autoren: Habib Kobeissi Antoun Yaacoub Ali Awada

Quelle: British Journal of Mathematics & Computer Science. 5:367-382

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://www.sciencedomain.org/download/Njg4MkBAcGY.pdf

Compartmentalized Connection Graphs for Concurrent Logic Programming II : Parallelism, Indexing and Unification

Autoren: Powers, David M. W.

Schlagwörter: ddc:004

CONCURRENT ABDUCTIVE LOGIC PROGRAMMING IN PANDORA

Autoren: Reem Bahgat Osama Mostafa George A. Papadopoulos

Quelle: International Journal on Artificial Intelligence Tools. 10:387-406

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice

Zugangs-URL: http://dblp.uni-trier.de/db/journals/ijait/ijait10.html#BahgatMP01
https://www.worldscientific.com/doi/abs/10.1142/S021821300100057X
https://dblp.uni-trier.de/db/journals/ijait/ijait10.html#BahgatMP01

Continuation compilation for concurrent logic programming

Autoren: B. Kemp Paul Soper Andy King et al.

Weitere Verfasser: B. Kemp Paul Soper Andy King et al.

Quelle: Artificial Intelligence in Real-Time Control 1994 ISBN: 9780080422367

Schlagwörter: QA76

Dateibeschreibung: application/pdf

Zugangs-URL: https://kar.kent.ac.uk/21172/1/content.pdf
https://www.sciencedirect.com/science/article/pii/0066413894900825
https://kar.kent.ac.uk/21172/
https://core.ac.uk/display/10629312

Simulation of colored Petri nets in concurrent logic programming

Autoren: A. Naim Jacques Tisseau

Quelle: Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95. 1:563-572

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Zugangs-URL: https://ieeexplore.ieee.org/document/496808/

Concurrent Logic Programming for modeling flexible manufacturing systems

Autoren: D.B. Arieh Y. Dotan

Quelle: The Sixteenth Conference of Electrical and Electronics Engineers in Israel. :1-4

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: http://ieeexplore.ieee.org/iel4/5787/15446/00720016.pdf
http://ieeexplore.ieee.org/xpl/abstractAuthors.jsp?reload=true&arnumber=720016&contentType=Conference+Publications

Actors as a special case of concurrent constraint (logic) programming

Autoren: Vijay Saraswat Ken Kahn

Quelle: Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications - OOPSLA/ECOOP '90. :57-66

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

A Concurrent Logic Programming Language for Multiple Robot Cooperation

Autoren: Fumio Mizoguchi Hayato Ohwada Hiroyuki Nishiyama et al.

Quelle: Journal of the Robotics Society of Japan. 19:620-631

Schlagwörter: 0209 industrial biotechnology, 0206 medical engineering, 02 engineering and technology

Zugangs-URL: https://www.jstage.jst.go.jp/article/jrsj1983/19/5/19_5_620/_pdf
http://ci.nii.ac.jp/naid/10007438867
https://www.jstage.jst.go.jp/article/jrsj1983/19/5/19_5_620/_pdf

A lingua franca for concurrent logic programming

Autoren: Hamish Taylor

Quelle: IEEE Transactions on Software Engineering. 18:225-236

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://dblp.uni-trier.de/db/journals/tse/tse18.html#Taylor92
https://ieeexplore.ieee.org/document/126771/

Modeling flexible manufacturing systems: the concurrent logic programming approach

Autoren: D. Ben-Arieh Y. Dotan

Quelle: IEEE Transactions on Robotics and Automation. 7:135-148

Zugangs-URL: https://dblp.uni-trier.de/db/journals/trob/trob7.html#DotanB91
http://ieeexplore.ieee.org/document/68077/
https://ieeexplore.ieee.org/document/68077/

A Concurrent Operational Semantics for Constraint Functional Logic Programming

Index Begriffe: Constraint logic programming, concurrent logic programming, functional logic programming., Data processing Computer science, InProceedings, publishedVersion

LMNtal as a hierarchical logic programming language

Autoren: Kazunori Ueda

Quelle: Theoretical Computer Science. 410:4784-4800

Schlagwörter: Concurrent logic programming, LMNtal, Hierarchical graph rewriting, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Concurrent constraint programming, 01 natural sciences, Theoretical Computer Science, Computer Science(all)