Výsledky vyhledávání - "Temporal Logic Programming Language"

Integration of Linear Constraints with a Temporal Logic Programming Language

Autoři: Qian Ma Mengfei Yang Zhenhua Duan

Zdroj: 2013 International Symposium on Theoretical Aspects of Software Engineering. :157-164

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/6597893/
https://doi.org/10.1109/TASE.2013.30
https://www.computer.org/csdl/proceedings-article/tase/2013/5053a157/12OmNCdBDKP
http://ieeexplore.ieee.org/document/6597893/
https://dblp.uni-trier.de/db/conf/tase/tase2013.html#MaDY13

A framed temporal logic programming language

Autoři: Duan Z Koutny M

Zdroj: Journal of Computer Science and Technology. 19:341-351

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

Implementation of temporal logic programming language Tokio

Autoři: Hidehiko Tanaka Masahiro Fujita T. Aoyagi a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783540164791

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/lp/lp85.html#KonoAFT85
https://link.springer.com/chapter/10.1007/3-540-16479-0_14
https://rd.springer.com/chapter/10.1007/3-540-16479-0_14

Using the temporal logic programming language Tokio for algorithm description and automatic CMOS gate array synthesis

Autoři: Masahiro Fujita Hiroshi Nakamura Tohru Moto-Oka a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783540164791

Erratum to A framed temporal logic programming language

Autoři: Zhen-Hua Duan

Zdroj: Journal of Computer Science and Technology. 19:985-985

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://link.springer.com/content/pdf/10.1007%2FBF02973464.pdf
https://link.springer.com/article/10.1007/BF02973464
https://link.springer.com/content/pdf/10.1007/BF02973464.pdf
https://dblp.uni-trier.de/db/journals/jcst/jcst19.html#Duan04

Temporal logic programming language Tokio programming in Tokio

Autoři: Masahiro Fujita Tohru Moto-Oka T. Aoyagi

Zdroj: Lecture Notes in Computer Science ISBN: 9783540164791

Témata: 4. Education

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/lp/lp85.html#AoyagiFM85
https://link.springer.com/chapter/10.1007%2F3-540-16479-0_13
https://rd.springer.com/chapter/10.1007/3-540-16479-0_13

A framed temporal logic programming language

Autoři: Duan Z Koutny M

Zdroj: Journal of Computer Science and Technology, 05-09-2008

Relation: https://eprints.ncl.ac.uk/69163

Dostupnost: https://eprints.ncl.ac.uk/69163

A Framed Temporal Logic Programming Language.

Autoři: Zhen-Hua Duan Koutny, Maciej

Zdroj: Journal of Computer Science & Technology (10009000); May2004, Vol. 19 Issue 3, p341-351, 11p, 3 Diagrams, 2 Charts

Témata: LOGIC programming languages, SYNCHRONIZATION, COMPUTER systems, COMPUTER software, GRAPHICAL projection

Time-extraction for temporal logic-logic programming and local process time: Time-extraction for temporal logic -- logic programming and local process time

Autoři: Takashi Hattori

Zdroj: Journal of Computer and System Sciences. 49:40-56

Témata: Logic in computer science, Computer Networks and Communications, Applied Mathematics, Theory of programming languages, Semantics in the theory of computing, time extraction, 0102 computer and information sciences, 02 engineering and technology, Logic programming, modal logics, 01 natural sciences, Theoretical Computer Science, Computational Theory and Mathematics, 0202 electrical engineering, electronic engineering, information engineering, modular semantics, temporal logic programming language, Modal logic (including the logic of norms)

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/639125
https://doi.org/10.1016/s0022-0000(05)80085-6
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/100508/1/0655-10.pdf
https://www.sciencedirect.com/science/article/pii/S0022000005800856
http://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/100508/1/0655-10.pdf
https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/100508
https://keio.pure.elsevier.com/en/publications/time-extraction-for-temporal-logic-logic-programming-and-local-pr
https://dblp.uni-trier.de/db/journals/jcss/jcss49.html#Hattori94

Integration of Linear Constraints with a Temporal Logic Programming Language.

Autoři: Ma, Qian Duan, Zhenhua Yang, Mengfei

Zdroj: 2013 International Symposium on Theoretical Aspects of Software Engineering; 2013, p157-164, 8p

UPDATES IN A TEMPORAL LOGIC PROGRAMMING LANGUAGE

Autoři: Cleary, John G. Kaushik, Vinit

Témata: Computer Science

Popis souboru: application/pdf

Relation: https://hdl.handle.net/1880/45837; http://dx.doi.org/10.11575/PRISM/30561

Dostupnost: https://hdl.handle.net/1880/45837
https://doi.org/10.11575/PRISM/30561

Modeling composite web services based on object-oriented MSVL.

Autoři: Wang, Xiaobing Yu, Sijiang Zhang, Haibin a další

Zdroj: 2012 IEEE International Conference on Computer Science & Automation Engineering (CSAE); 1/ 1/2012, p485-489, 5p

Logical Foundations for More Expressive Declarative Temporal Logic Programming Languages.

Autoři: GAINTZARAIN, JOSE LUCIO, PAQUI

Zdroj: ACM Transactions on Computational Logic; Nov2013, Vol. 14 Issue 4, p1-41, 41p

Témata: LOGIC programming languages, PROGRAMMING languages, LINEAR systems, SEMANTICS, EQUIVALENCE (Linguistics), COMPARATIVE studies

MSVL: a typed language for temporal logic programming.

Autoři: Wang, Xiaobing Tian, Cong Duan, Zhenhua a další

Zdroj: Frontiers of Computer Science; Oct2017, Vol. 11 Issue 5, p762-785, 24p

Verifying safety critical task scheduling systems in PPTL axiom system.

Autoři: Zhang, Nan Yang, Mengfei Gu, Bin a další

Zdroj: Journal of Combinatorial Optimization; Feb2016, Vol. 31 Issue 2, p577-603, 27p

Operational Semantics of Framed Temporal Logic Programs.

Autoři: Hutchison, David Kanade, Takeo Kittler, Josef a další

Zdroj: SOFSEM 2007: Theory & Practice of Computer Science; 2007, p566-578, 13p

Linear time-dependent constraints programming with MSVL.

Autoři: Ma, Qian Duan, Zhenhua

Zdroj: Journal of Combinatorial Optimization; May2014, Vol. 27 Issue 4, p724-766, 43p

Reasoning about actions with Temporal Answer Sets.

Autoři: GIORDANO, LAURA MARTELLI, ALBERTO THESEIDER DUPRÉ, DANIELE

Zdroj: Theory & Practice of Logic Programming; Mar2013, Vol. 13 Issue 2, p201-225, 25p

Témata: REASONING, SET theory, LINEAR time invariant systems, CONSTRAINT programming, LOGIC programming, INFINITY (Mathematics), PROGRAMMING languages

Logical foundations for more expressive declarative temporal logic programming languages

Autoři: Jose Gaintzarain Paqui Lucio

Zdroj: ACM Transactions on Computational Logic. 14:1-41

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

An Executable Concurrent Model for OWL-S Process Models

Autoři: Cong Tian Zhenhua Duan

Zdroj: 2010 10th International Conference on Quality Software. :405-413

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

Přístupová URL adresa: https://ieeexplore.ieee.org/document/5562994/
http://ieeexplore.ieee.org/document/5562994/
http://doi.org/10.1109/QSIC.2010.48
https://dblp.uni-trier.de/db/conf/qsic/qsic2010.html#DuanT10
https://doi.org/10.1109/QSIC.2010.48
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005562994