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

Towards Constraint Temporal Answer Set Programming

Autoři: PEDRO CABALAR MARTÍN DIÉGUEZ FRANÇOIS OLIVIER a další

Zdroj: Theory and Practice of Logic Programming. :1-16

Témata: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Temporal logic programming, Knowledge representation, Artificial Intelligence, Logic in Computer Science, Nonmonotonic reasoning, Constraint programming, Logic in Computer Science (cs.LO)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2507.13958
https://hdl.handle.net/2183/45943

Rule-Based Temporal Reasoning: Exploring DatalogMTL (Invited Talk)

Autoři: Wałęga, Przemysław Andrzej Przemysław Andrzej Wałęga

Přispěvatelé: Wałęga, Przemysław Andrzej Przemysław Andrzej Wałęga

Témata: Temporal Logic Programming, Temporal Reasoning, ddc:004, Temporal Datalog

Popis souboru: application/pdf

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

Temporal stratification tests for linear and branching-time deductive databases

Autoři: Nomikos, C. Rondogiannis, P. Gergatsoulis, M.

Zdroj: Theoretical Computer Science. 342:382-415

Témata: Temporal deductive databases, temporal deductive databases, temporal logic programming, Stratified negation, Database theory, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Temporal logic programming, stratified negation, negation, 0202 electrical engineering, electronic engineering, information engineering, logic programs, transformation technique, Computer Science(all)

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/2207471
https://doi.org/10.1016/j.tcs.2005.05.014
http://olympias.lib.uoi.gr/jspui/handle/123456789/10863
https://pergamos.lib.uoa.gr/uoa/dl/object/3065379

Stratified negation in temporal logic programming and the cycle-sum test

Autoři: Rondogiannis, P.

Zdroj: Theoretical Computer Science. 254:663-676

Témata: Cycle-sum test, temporal logic programming, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, Theoretical Computer Science, stratification, Temporal logic programming, negation, 0202 electrical engineering, electronic engineering, information engineering, cycle-sum test, Stratification, Negation, Computer Science(all)

Popis souboru: application/xml

Přístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S0304397500003741
https://dblp.uni-trier.de/db/journals/tcs/tcs254.html#Rondogiannis01
https://pergamos.lib.uoa.gr/uoa/dl/object/3065613

Linear time-dependent constraints programming with MSVL

Autoři: Qian Ma Zhenhua Duan

Zdroj: Journal of Combinatorial Optimization. 27:724-766

Témata: MSVL, operational semantics, 0202 electrical engineering, electronic engineering, information engineering, Temporal logic, 0102 computer and information sciences, 02 engineering and technology, Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.), 16. Peace & justice, Logic programming, Approximation methods and heuristics in mathematical programming, 01 natural sciences, time-dependent constraints, interval temporal logic programming

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/6307086
https://doi.org/10.1007/s10878-012-9551-2
https://ideas.repec.org/a/spr/jcomop/v27y2014i4d10.1007_s10878-012-9551-2.html
https://link.springer.com/article/10.1007/s10878-012-9551-2
https://rd.springer.com/article/10.1007/s10878-012-9551-2
https://dl.acm.org/doi/10.1007/s10878-012-9551-2
https://dblp.uni-trier.de/db/journals/jco/jco27.html#MaD14
http://doi.org/10.1007/s10878-012-9551-2

Operational semantics of Framed Tempura

Autoři: Xiaoxiao Yang Zhenhua Duan

Zdroj: The Journal of Logic and Algebraic Programming. 78:22-51

Témata: Non-monotonicity, Computational Theory and Mathematics, Temporal logic programming, Logic, Operational semantics, 0202 electrical engineering, electronic engineering, information engineering, Consistency, 0102 computer and information sciences, 02 engineering and technology, Minimal model, 01 natural sciences, Software, Theoretical Computer Science

Framed temporal logic programming

Autoři: Duan Z Yang X Koutny M

Zdroj: Science of Computer Programming. 70:31-61

Témata: Monotonicity, Temporal logic programming, Communication, 0211 other engineering and technologies, Framing, 0102 computer and information sciences, 02 engineering and technology, Synchronization, Minimal model, 01 natural sciences, Software, Semantics

A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING: A proof procedure for temporal logic programming

Autoři: Gergatsoulis, M. Nomikos, C.

Zdroj: International Journal of Foundations of Computer Science. 15:417-443

Témata: language, Specification and verification (program logics, model checking, etc.), temporal logic programming, proof procedures, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, theorem proving, branching-time, 0202 electrical engineering, electronic engineering, information engineering, transformation technique, time, Theorem proving (deduction, resolution, etc.)

Popis souboru: application/xml

Přístupová URL adresa: http://olympias.lib.uoi.gr/jspui/handle/123456789/10798

Dense Time Logic Programming: Dense time logic programming

Autoři: AHMED, M VENKATESH, G

Zdroj: Journal of Symbolic Computation. 22:585-613

Témata: omega trees, ordinal trees, Computational Mathematics, Algebra and Number Theory, ordinal structures, temporal horn clauses, dense temporal logic programming, 0101 mathematics, Logic programming, 01 natural sciences

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1002409
https://doi.org/10.1006/jsco.1996.0067
https://dblp.uni-trier.de/db/journals/jsc/jsc22.html#AhmedV96
https://core.ac.uk/display/81991984
https://www.sciencedirect.com/science/article/abs/pii/S074771719690067X

On the Expressiveness of Temporal Logic Programming: On the expressiveness of temporal logic programming

Autoři: Baudinet, Marianne

Zdroj: Information and Computation. 117:157-180

Témata: temporal logic programming, Informatique générale, Informatique appliquée logiciel, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, Theoretical Computer Science, Computer Science Applications, PTEMPLOG, Computational Theory and Mathematics, Informatique mathématique, 0202 electrical engineering, electronic engineering, information engineering, TEMPLOG, Information Systems

Popis souboru: application/xml; No full-text files

Přístupová URL adresa: https://zbmath.org/767820
https://doi.org/10.1006/inco.1995.1036
https://www.sciencedirect.com/science/article/abs/pii/S089054018571036X
https://dblp.uni-trier.de/db/journals/iandc/iandc117.html#Baudinet95
https://difusion.ulb.ac.be/vufind/Record/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/180629/Details
https://core.ac.uk/display/82782596
https://www.sciencedirect.com/science/article/pii/S089054018571036X

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

Extending Temporal Logic Programming with Choice Predicates Non-determinism: Extending temporal logic programming with choice predicates non- determinism

Autoři: Mehmet A. Orgun William W. Wadge

Zdroj: Journal of Logic and Computation. 4:877-903

Témata: alternating chains, Chronolog, temporal logic programming, minimal models, 0102 computer and information sciences, 0101 mathematics, Logic programming, Modal logic (including the logic of norms), 01 natural sciences, chronolog

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/722158
https://doi.org/10.1093/logcom/4.6.877
https://core.ac.uk/display/24372957
https://academic.oup.com/logcom/article-abstract/4/6/877/936409
http://dblp.uni-trier.de/db/journals/logcom/logcom4.html#OrgunW94
https://researchers.mq.edu.au/en/publications/extending-temporal-logic-programming-with-choice-predicates-non-d
https://dblp.uni-trier.de/db/journals/logcom/logcom4.html#OrgunW94

The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic

Autoři: Chen, Cheng-Chia Lin, I-Peng

Přispěvatelé: Chen, Cheng-Chia Lin, I-Peng

Zdroj: Information Processing Letters. 45:131-136

Témata: temporal logic programming, temporal logic, satisfiability, Analysis of algorithms and problem complexity, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Horn formulas, Logic programming, Modal logic (including the logic of norms), 01 natural sciences, first-order logic

Popis souboru: application/xml; application/pdf; 642183 bytes

Přístupová URL adresa: http://ntur.lib.ntu.edu.tw/bitstream/246246/155693/1/04.pdf
https://zbmath.org/167747
https://doi.org/10.1016/0020-0190(93)90014-z
https://www.sciencedirect.com/science/article/pii/002001909390014Z
https://dblp.uni-trier.de/db/journals/ipl/ipl45.html#ChenL93

The branching-time transformation technique for Chain Datalog programs

Autoři: Γεργατσούλης, Μανώλης Ροντογιάννης, Παναγιώτης Gergatsoulis, Manolis a další

Zdroj: Journal of Intelligent Information Systems Volume 17, Issue 1, November 2001, Pages 71-94 ; Scopus ; http://www.scopus.com/record/display.url?eid=2-s2.0-0035506941&origin=resultslist&sort=plf-f&src=s&st1=gergatsoulis&nlo=1&nlr=20&nls=count-f&sid=3721C8512648DE367D76686B2D82F7FD.zQKnzAySRvJOZYcdfIziQ%3a63&sot=anl&sdt=aut&sl=41&s=AU-ID%28%22Gergatsoulis%2c+Manolis%22+6602969138%29&relpos=30&relpos=10&citeCnt=3&searchTerm=AU-ID%28%5C%26quot%3BGergatsoulis,+Manolis%5C%26quot%3B+6602969138%29

Témata: Temporal logic programming, Branching time, Chain programs, Deductive Databases, Program transformation, Τεχνολογίες πληροφόρησης και τεχνολογίες βιβλιοθηκών, Συστήματα διαχείρισης βάσεων δεδομένων, Information technology and library technology, Data base management systems

Relation: 9259902; http://hdl.handle.net/10797/13677; LN

Dostupnost: http://hdl.handle.net/10797/13677

Unfold/fold transformations for disjunctive logic programs

Autoři: Γεργατσούλης, Μανώλης Ροντογιάννης, Παναγιώτης Gergatsoulis, Manolis a další

Zdroj: Journal of Intelligent Information Systems Volume 17, Issue 1, November 2001, Pages 71-94 ; Scopus ; http://www.scopus.com/record/display.url?eid=2-s2.0-0035506941&origin=resultslist&sort=plf-f&src=s&st1=gergatsoulis&nlo=1&nlr=20&nls=count-f&sid=3721C8512648DE367D76686B2D82F7FD.zQKnzAySRvJOZYcdfIziQ%3a63&sot=anl&sdt=aut&sl=41&s=AU-ID%28%22Gergatsoulis%2c+Manolis%22+6602969138%29&relpos=30&relpos=10&citeCnt=3&searchTerm=AU-ID%28%5C%26quot%3BGergatsoulis,+Manolis%5C%26quot%3B+6602969138%29

Témata: Temporal logic programming, Branching time, Chain programs, Deductive Databases, Program transformation, Τεχνολογίες πληροφόρησης και τεχνολογίες βιβλιοθηκών, Information technology and library technology

Relation: 200190; http://hdl.handle.net/10797/13679; LZ

Dostupnost: http://hdl.handle.net/10797/13679

Temporal disjunctive logic programming

Autoři: Γεργατσούλης, Μανώλης Ροντογιάννης, Παναγιώτης Παναγιωτόπουλος, Θέμης a další

Zdroj: New Generation Computing Volume 19, Issue 1, 2001, Pages 87-100 ; Scopus ; http://www.scopus.com/record/display.url?eid=2-s2.0-0034965092&origin=resultslist&sort=plf-f&src=s&st1=gergatsoulis&nlo=1&nlr=20&nls=count-f&sid=3721C8512648DE367D76686B2D82F7FD.zQKnzAySRvJOZYcdfIziQ%3a63&sot=anl&sdt=aut&sl=41&s=AU-ID%28%22Gergatsoulis%2c+Manolis%22+6602969138%29&relpos=31&relpos=11&citeCnt=2&searchTerm=AU-ID%28%5C%26quot%3BGergatsoulis,+Manolis%5C%26quot%3B+6602969138%29

Témata: Semantics, Temporal logic programming, Disjunctive logic programming, Proof procedures, Τεχνολογίες πληροφόρησης και τεχνολογίες βιβλιοθηκών, Information technology and library technology

Relation: 2883635; http://hdl.handle.net/10797/13676; LZ

Dostupnost: http://hdl.handle.net/10797/13676

Temporal stratification tests for linear and branching-time deductive databases

Autoři: Γεργατσούλης, Μανώλης Ροντογιάννης, Παναγιώτης Νομικός, Χρίστος a další

Zdroj: Theoretical Computer Science Volume 342, Issue 2-3, 7 September 2005, Pages 382-415 ; Scopus ; http://www.scopus.com/record/display.url?eid=2-s2.0-23944516231&origin=resultslist&sort=plf-f&src=s&st1=gergatsoulis&nlo=1&nlr=20&nls=count-f&sid=3B1D362F835957ADCD5A17ECFEEC6A8D.WlW7NKKC52nnQNxjqAQrlA%3a63&sot=anl&sdt=aut&sl=41&s=AU-ID%28%22Gergatsoulis%2c+Manolis%22+6602969138%29&relpos=24&relpos=4&citeCnt=4&searchTerm=AU-ID%28%5C%26quot%3BGergatsoulis,+Manolis%5C%26quot%3B+6602969138%29

Témata: Stratified negation, Temporal deductive databases, Temporal logic programming, Πηγές πληροφορησης, υποστήριξη, δίαυλοι, Βάσεις δεδομένων και δικτύωση βάσεων δεδομένων, Information sources, supports, channels, Databases and DataBase Networking

Relation: 3043975; http://hdl.handle.net/10797/13671; HL

Dostupnost: http://hdl.handle.net/10797/13671

BEHAVE: Lightweight Verification Using High-Level Behavioral Models

Autoři: Michiels, Isabel Deridder, Dirk De Roover, Coen a další

Přispěvatelé: Michiels, Isabel Deridder, Dirk De Roover, Coen a další

Témata: temporal logic programming, high-level behavioral models, dynamic analysis, declarative meta-programming

Přístupová URL adresa: https://hdl.handle.net/20.500.14017/223c3985-ee0e-4cd8-aeab-0b36229ede04
https://biblio.vub.ac.be/vubir/behave-lightweight-verification-using-highlevel-behavioral-models(223c3985-ee0e-4cd8-aeab-0b36229ede04).html

A Parallel Execution Model for Chronolog

Autoři: Chuchang Liu Mehmet A. Orgun Kang Zhang a další

Přispěvatelé: Chuchang Liu Mehmet A. Orgun Kang Zhang a další

Zdroj: ftp://ftp.mpce.mq.edu.au/pub/comp/techreports/950166.liu.ps.Z

Témata: Key Words, Temporal logic programming, operational semantics, context-parallelism, warehouse, dataflow computation

Popis souboru: application/postscript

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.5773

Stratified Negation in Temporal Logic Programming and the Cycle Sum Test

Autoři: P. Rondogiannis The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: P. Rondogiannis The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.di.uoa.gr/~prondo/papers/tcs.ps.

Témata: Temporal Logic Programming, Negation, Stratification, Cycle Sum Test

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.3887; http://www.di.uoa.gr/~prondo/papers/tcs.ps

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.3887
http://www.di.uoa.gr/~prondo/papers/tcs.ps