Výsledky vyhledávání - "concurrent logic programming"

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

Autoři: Shapiro, Ehud

Témata: Programming Languages, Cryptography and Security, Distributed, Parallel, and Cluster Computing, Logic in Computer Science, Multiagent Systems

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

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

Parallel and Distributed Implementation of Concurrent Logic Programming Language KL1

Autoři: Hirata, Keiji Yamamoto, Reki Imai, Akira a další

Témata: Conference Paper

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

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

Autoři: Conlon, T Gregory, S

Zdroj: The Computer Journal. 35:157-169

Témata: concurrent logic programming, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Parlog, Logic programming, debugging

Popis souboru: application/xml

Přístupová URL adresa: 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

Autoři: Evan Tick

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

Témata: Logic, deevolution, 0202 electrical engineering, electronic engineering, information engineering, concurrent logic programming languages, 02 engineering and technology, Logic programming

Popis souboru: application/xml

Přístupová URL adresa: 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

Information Flow in Concurrent Logic Programming

Autoři: Habib Kobeissi Antoun Yaacoub Ali Awada

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

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://www.sciencedomain.org/download/Njg4MkBAcGY.pdf

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

Autoři: Martinez, Thierry Thierry Martinez

Přispěvatelé: Martinez, Thierry Thierry Martinez

Témata: Concurrent logic programming, ddc:004

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.277

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

Autoři: Powers, David M. W.

Témata: ddc:004

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

Autoři: Powers, David M. W.

Témata: ddc:004

Simulation of colored Petri nets in concurrent logic programming

Autoři: A. Naim Jacques Tisseau

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

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Přístupová URL adresa: https://ieeexplore.ieee.org/document/496808/

Continuation compilation for concurrent logic programming

Autoři: B. Kemp Paul Soper Andy King a další

Přispěvatelé: B. Kemp Paul Soper Andy King a další

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

Témata: QA76

Popis souboru: application/pdf

Přístupová URL adresa: 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

Concurrent Logic Programming for modeling flexible manufacturing systems

Autoři: D.B. Arieh Y. Dotan

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

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: http://ieeexplore.ieee.org/iel4/5787/15446/00720016.pdf
http://ieeexplore.ieee.org/xpl/abstractAuthors.jsp?reload=true&arnumber=720016&contentType=Conference+Publications

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

Autoři: Keith L. Clark Ho-fung Leung

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

Témata: 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

Popis souboru: application/xml

Přístupová URL adresa: 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

A Concurrent Logic Programming Language for Multiple Robot Cooperation

Autoři: Fumio Mizoguchi Hayato Ohwada Hiroyuki Nishiyama a další

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

Témata: 0209 industrial biotechnology, 0206 medical engineering, 02 engineering and technology

Přístupová URL adresa: 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

Autoři: Hamish Taylor

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

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: 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

Autoři: D. Ben-Arieh Y. Dotan

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

Přístupová URL adresa: https://dblp.uni-trier.de/db/journals/trob/trob7.html#DotanB91
http://ieeexplore.ieee.org/document/68077/
https://ieeexplore.ieee.org/document/68077/

Modeling advanced manufacturing systems using concurrent logic programming

Autoři: I. Miron David Ben-Arieh

Zdroj: Artificial Intelligence in Engineering. 5:43-49

Témata: 9. Industry and infrastructure, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://dblp.uni-trier.de/db/journals/aei/aie5.html#Ben-AriehM90
https://www.sciencedirect.com/science/article/pii/0954181090900342

Concurrent logic programming of correct and robust coordinated reactive computations

Autoři: Nabiel A. Elshiewy

Zdroj: Proceedings of the 4th workshop on ACM SIGOPS European workshop. :1-7

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/sigopsE/sigopsE1990.html#Elshiewy90
https://dl.acm.org/doi/10.1145/504136.504175

Secondary storage in a concurrent logic programming environment

Autoři: Anthony Kusalik

Zdroj: Journal of Systems and Software. 11:31-44

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://dblp.uni-trier.de/db/journals/jss/jss11.html#Kusalik90
https://www.sciencedirect.com/science/article/pii/016412129090107W

Concurrent logic programming as a hardware description tool

Autoři: Benjamin Arazi Y. Dotan

Zdroj: IEEE Transactions on Computers. 39:72-88

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: http://www.osti.gov/scitech/biblio/7252000
https://dblp.uni-trier.de/db/journals/tc/tc39.html#DotanA90
https://dl.acm.org/doi/abs/10.1109/12.46282
https://ieeexplore.ieee.org/document/46282/

A Semantics for Concurrent Logic Programming Languages Based on Multiple-Valued Logic

Autoři: Marion Glazerman Ben-Jacob

Témata: concurrent logic programming, multiple-valued logic, denotational semantics

Relation: http://dx.doi.org/10.14569/IJACSA.2012.031002

Dostupnost: https://doi.org/10.14569/IJACSA.2012.031002