Výsledky vyhledávání - Linear logic programming

Linear Temporal Logic Motion Planning for Teams of Underactuated Robots Using Satisfiability Modulo Convex Programming

Autoři: Shoukry, Yasser Nuzzo, Pierluigi Balkan, Ayca a další

Zdroj: 2018-January

Témata: 46 Information and Computing Sciences (for-2020), 4007 Control Engineering, Mechatronics and Robotics (for-2020), 40 Engineering (for-2020), 4602 Artificial Intelligence (for-2020)

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/2699090s
https://escholarship.org/content/qt2699090s/qt2699090s.pdf

Abstract Categorial Parsing as Linear Logic Programming

Autoři: de Groote, Philippe

Přispěvatelé: de Groote, Philippe

Zdroj: Proceedings of the 14th Meeting on the Mathematics of Language (MoL 2015). :15-25

Témata: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

Přístupová URL adresa: https://www.aclweb.org/anthology/W15-2302.pdf
https://hal.science/hal-01188632v1
https://www.aclweb.org/anthology/W15-2302/
https://hal.inria.fr/hal-01188632
https://dblp.uni-trier.de/db/conf/mol/mol2015.html#Groote15
https://hal.archives-ouvertes.fr/hal-01188632
https://aclanthology.org/W15-2302/
https://doi.org/10.3115/v1/w15-2302

A Uniform Proof-theoretic Investigation of Linear Logic Programming: A uniform proof-theoretic investigation of linear logic programming

Autoři: James Harland David J. Pym

Zdroj: Journal of Logic and Computation. 4:175-207

Témata: Proof theory in general (including proof-theoretic semantics), linear logic, goal-to-subgoal proof search, 0102 computer and information sciences, 0101 mathematics, Subsystems of classical logic (including intuitionistic logic), Logic programming, 01 natural sciences

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/563296
https://doi.org/10.1093/logcom/4.2.175
http://dblp.uni-trier.de/db/journals/logcom/logcom4.html#PymH94
https://academic.oup.com/logcom/article/4/2/175/933756
https://dblp.uni-trier.de/db/journals/logcom/logcom4.html#PymH94
https://core.ac.uk/display/22610005

A Linear Logic Programming Language for Concurrent Programming over Graph Structures

Autoři: Flavio Cruz Seth Copen Goldstein Ricardo Rocha a další

Zdroj: Theory and Practice of Logic Programming. 14:493-507

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 89999 Information and Computing Sciences not elsewhere classified, 02 engineering and technology, Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/pdf/1405.3556
http://arxiv.org/abs/1405.3556
http://export.arxiv.org/pdf/1405.3556
https://ui.adsabs.harvard.edu/abs/2014arXiv1405.3556C/abstract
https://arxiv.org/abs/1405.3556
https://arxiv.org/pdf/1405.3556.pdf
http://repository.cmu.edu/compsci/2665/
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/linear-logic-programming-language-for-concurrent-programming-over-graph-structures/FF27FC948E7F55E169FF5864DB523CFD
https://kilthub.cmu.edu/articles/journal_contribution/A_Linear_Logic_Programming_Language_for_Concurrent_Programming_over_Graph_Structures/6587543/1
https://www.dcc.fc.up.pt/~ricroc/homepage/publications/2014-ICLP-B.pdf
http://www.cs.cmu.edu/~fp/papers/lm14.pdf
https://dblp.uni-trier.de/db/journals/corr/corr1405.html#CruzRGP14

Distributed concurrent linear logic programming

Autoři: N. Kobayashi T. Shimizu A. Yonezawa

Zdroj: Theoretical Computer Science. 227:185-220

Témata: Concurrency, Theory of programming languages, Distributed computation, Linear logic, Proof-theoretic aspects of linear logic and other substructural logics, Linear logic programming, distributed concurrent linear logic programming, Logic programming, Theoretical Computer Science, Computer Science(all)

Popis souboru: application/xml

Přístupová URL adresa: https://dblp.uni-trier.de/db/journals/tcs/tcs227.html#KobayashiSY99
https://www.sciencedirect.com/science/article/pii/S0304397599000523

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic

Autoři: Beniamino Accattoli

Zdroj: Logical Methods in Computer Science, Vol 19, Issue 4 (2023)

Témata: computer science - logic in computer science, computer science - programming languages, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

Relation: https://lmcs.episciences.org/10888/pdf; https://doaj.org/toc/1860-5974

Přístupová URL adresa: https://doaj.org/article/062ae776fb1142a7869a25bbd7abd725

Linear Logic Programming

Zdroj: Proof Theory and Logic Programming ; page 172-186 ; ISBN 9781009561280 9781009561297 9781009561303

Dostupnost: https://doi.org/10.1017/9781009561280.009
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A487714927B55B4D27F7EC3D3BBCB42F

Monadic concurrent linear logic programming

Autoři: Pablo López Jeff Polakow Frank Pfenning a další

Zdroj: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming. :35-46

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

Structure-Activity Relationships Derived by Machine Learning: The Use of Atoms and their Bond Connectivities to Predict Mutagenicity by Inductive Logic Programming

Autoři: King, Ross D. Muggleton, Stephen H. Srinivasan, Ashwin

Zdroj: Proceedings of the National Academy of Sciences of the United States of America, 1996 Jan 01. 93(1), 438-442.

Přístupová URL adresa: https://www.jstor.org/stable/38385

Linearity Constraints as Bounded Intervals in Linear Logic Programming

Autoři: Jeff Polakow

Zdroj: Journal of Logic and Computation. 16:135-155

Témata: 0102 computer and information sciences, 0101 mathematics, 01 natural sciences

Přístupová URL adresa: http://academic.oup.com/logcom/article/16/1/135/1071996/Linearity-Constraints-as-Bounded-Intervals-in
https://dblp.uni-trier.de/db/journals/logcom/logcom16.html#Polakow06
https://academic.oup.com/logcom/article/16/1/135/1071996

Translating a Linear Logic Programming Language into Java

Autoři: Naoyuki Tamura Mutsunori Banbara

Zdroj: Electronic Notes in Theoretical Computer Science. 30:20-45

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Classical propositional linear logic theorem prover on a linear logic programming language compiler system / 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム

Autoři: Mutsunori Banbara Naoyuki Tamura 田村 直之 a další

Zdroj: Conference Proceedings of Japan Society for Software Science and Technology. 2004, :74

A Static Analysis Method for a Classical Linear Logic Programming Language

Autoři: Kyoung-Sim Kang Naoyuki Tamura

Zdroj: Electronic Notes in Theoretical Computer Science. 30:3-19

Témata: 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Přístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S1571066105801124
https://dblp.uni-trier.de/db/journals/tcs/entcs30.html#KangT99

On the Relations between Disjunctive and Linear Logic Programming

Autoři: M. BOZZANO DELZANNO, GIORGIO MARTELLI, MAURIZIO a další

Přispěvatelé: M. BOZZANO DELZANNO, GIORGIO MARTELLI, MAURIZIO a další

Zdroj: Electronic Notes in Theoretical Computer Science. 48:65-89

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Přístupová URL adresa: https://www.sciencedirect.com/science/article/abs/pii/S1571066104001501
https://www.sciencedirect.com/science/article/pii/S1571066104001501
https://dblp.uni-trier.de/db/journals/entcs/entcs48.html#BozzanoDM01
https://cris.fbk.eu/handle/11582/328068
https://hdl.handle.net/11567/205591

Static analysis of Linear Logic programming

Autoři: Tiziana Castagnetti Remo Pareschi Jean-Marc Andreoli

Zdroj: New Generation Computing. 15:449-481

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

Přístupová URL adresa: https://link.springer.com/article/10.1007/BF03037301
http://doi.org/10.1007/BF03037301
https://doi.org/10.1007/BF03037301
https://dblp.uni-trier.de/db/journals/ngc/ngc15.html#AndreoliPC97

Linear logic programming with an ordered context

Autoři: Jeff Polakow

Zdroj: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming. :68-79

Témata: 0102 computer and information sciences, 0101 mathematics, 01 natural sciences

Přístupová URL adresa: http://portal.acm.org/citation.cfm?doid=351268.351277
https://dl.acm.org/doi/10.1145/351268.351277
https://core.ac.uk/display/21873146
https://dblp.uni-trier.de/db/conf/ppdp/ppdp2000.html#Polakow00

Model checking linear logic specifications

Autoři: BOZZANO M. DELZANNO, GIORGIO MARTELLI, MAURIZIO a další

Přispěvatelé: BOZZANO M. DELZANNO, GIORGIO MARTELLI, MAURIZIO a další

Zdroj: Theory and Practice of Logic Programming. 4:573-619

Témata: bottom-up evaluation, Computer Science - Symbolic Computation, FOS: Computer and information sciences, D.3.1, Specification and verification (program logics, model checking, etc.), Computer Science - Programming Languages, fixpoint semantic, Semantics in the theory of computing, fixpoint semantics, 0102 computer and information sciences, Symbolic Computation (cs.SC), Logic programming, 01 natural sciences, linear logic, F.3.1, F.3.2, 0101 mathematics, Programming Languages (cs.PL)

Popis souboru: application/xml

Přístupová URL adresa: http://arxiv.org/pdf/cs/0309003
http://arxiv.org/abs/cs/0309003
https://zbmath.org/2157092
https://doi.org/10.1017/s1471068404002066
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/model-checking-linear-logic-specifications/312E52D32341C5516E16C4CB8C1A71B2
https://arxiv.org/abs/cs/0309003
http://www.journals.cambridge.org/abstract_S1471068404002066
https://dblp.uni-trier.de/db/journals/tplp/tplp4.html#BozzanoDM04
https://arxiv.org/pdf/cs/0309003
https://hdl.handle.net/11567/248323
https://doi.org/10.1017/S1471068404002066

Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory

Autoři: Mathys Rennela Sam Staton

Zdroj: Logical Methods in Computer Science, Vol 16, Issue 1 (2020)

Témata: computer science - logic in computer science, computer science - programming languages, mathematics - category theory, mathematics - operator algebras, quantum physics, f.3.2, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

Relation: https://lmcs.episciences.org/4068/pdf; https://doaj.org/toc/1860-5974

Přístupová URL adresa: https://doaj.org/article/403e842c9f724f4fb107b938faf24cc5

Efficient resource management for linear logic proof search

Autoři: Iliano Cervesato Joshua S. Hodas Frank Pfenning

Zdroj: Lecture Notes in Computer Science ISBN: 9783540609834

Témata: FOS: Computer and information sciences, Linear logic, Proof-theoretic aspects of linear logic and other substructural logics, 0102 computer and information sciences, 02 engineering and technology, proof search in type theory, Logic programming, 01 natural sciences, Theoretical Computer Science, Mechanization of proofs and logical operations, logic programming, theorem proving, linear logic, 0202 electrical engineering, electronic engineering, information engineering, resource management, 89999 Information and Computing Sciences not elsewhere classified, Theorem proving, Theorem proving (deduction, resolution, etc.), Computer Science(all)

Popis souboru: application/xml

Přístupová URL adresa: http://www.cs.cmu.edu/~fp/courses/98-linear/handouts/erm97.pdf
https://www.sciencedirect.com/science/article/abs/pii/S0304397599001735
https://dblp.uni-trier.de/db/journals/tcs/tcs232.html#CervesatoHP00
https://www.sciencedirect.com/science/article/pii/S0304397599001735
https://link.springer.com/content/pdf/10.1007%2F3-540-60983-0_5.pdf
http://repository.cmu.edu/cgi/viewcontent.cgi?article=1042&context=compsci
https://dblp.uni-trier.de/db/conf/elp/elp96.html#CervesatoHP96
https://rd.springer.com/chapter/10.1007/3-540-60983-0_5
https://link.springer.com/chapter/10.1007%2F3-540-60983-0_5
https://core.ac.uk/display/24437491

Asynchronous communication model based on linear logic: Extended abstract

Autoři: Akinori Yonezawa Naoki Kobayashi

Zdroj: Lecture Notes in Computer Science ISBN: 9783540573968

Témata: Logic in computer science, linear logic programming, phase semantics, Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, 7. Clean energy

Popis souboru: application/xml

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/psc/psc1992.html#KobayashiY92
https://link.springer.com/chapter/10.1007/BFb0018661
https://dblp.uni-trier.de/db/journals/fac/fac7.html#KobayashiY95
https://rd.springer.com/chapter/10.1007/BFb0018661
https://link.springer.com/article/10.1007/BF01211602