Výsledky vyhľadávania - "Temporal logic programming"

Towards Constraint Temporal Answer Set Programming

Autori: PEDRO CABALAR MARTÍN DIÉGUEZ FRANÇOIS OLIVIER a ďalší

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

Predmety: 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 súboru: application/pdf

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

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

Autori: Wałęga, Przemysław Andrzej Przemysław Andrzej Wałęga

Prispievatelia: Wałęga, Przemysław Andrzej Przemysław Andrzej Wałęga

Predmety: Temporal Logic Programming, Temporal Reasoning, ddc:004, Temporal Datalog

Popis súboru: application/pdf

Prí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

Autori: Nomikos, C. Rondogiannis, P. Gergatsoulis, M.

Zdroj: Theoretical Computer Science. 342:382-415

Predmety: 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 súboru: application/xml

Prí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

Autori: Rondogiannis, P.

Zdroj: Theoretical Computer Science. 254:663-676

Predmety: 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 súboru: application/xml

Prí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

Autori: Qian Ma Zhenhua Duan

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

Predmety: 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 súboru: application/xml

Prí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

Autori: Xiaoxiao Yang Zhenhua Duan

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

Predmety: 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

Autori: Duan Z Yang X Koutny M

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

Predmety: 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

Autori: Gergatsoulis, M. Nomikos, C.

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

Predmety: 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 súboru: application/xml

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

Dense Time Logic Programming: Dense time logic programming

Autori: AHMED, M VENKATESH, G

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

Predmety: 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 súboru: application/xml

Prí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

Autori: Baudinet, Marianne

Zdroj: Information and Computation. 117:157-180

Predmety: 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 súboru: application/xml; No full-text files

Prí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

Autori: Takashi Hattori

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

Predmety: 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 súboru: application/xml

Prí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

Autori: Mehmet A. Orgun William W. Wadge

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

Predmety: 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 súboru: application/xml

Prí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

Autori: Chen, Cheng-Chia Lin, I-Peng

Prispievatelia: Chen, Cheng-Chia Lin, I-Peng

Zdroj: Information Processing Letters. 45:131-136

Predmety: 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 súboru: application/xml; application/pdf; 642183 bytes

Prí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

Autori: Γεργατσούλης, Μανώλης Ροντογιάννης, Παναγιώτης Gergatsoulis, Manolis a ďalší

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

Predmety: 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

Dostupnosť: http://hdl.handle.net/10797/13677

Unfold/fold transformations for disjunctive logic programs

Autori: Γεργατσούλης, Μανώλης Ροντογιάννης, Παναγιώτης Gergatsoulis, Manolis a ďalší

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

Predmety: 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

Dostupnosť: http://hdl.handle.net/10797/13679

Temporal disjunctive logic programming

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

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

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

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

Dostupnosť: http://hdl.handle.net/10797/13676

Temporal stratification tests for linear and branching-time deductive databases

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

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

Predmety: 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

Dostupnosť: http://hdl.handle.net/10797/13671

BEHAVE: Lightweight Verification Using High-Level Behavioral Models

Autori: Michiels, Isabel Deridder, Dirk De Roover, Coen a ďalší

Prispievatelia: Michiels, Isabel Deridder, Dirk De Roover, Coen a ďalší

Predmety: temporal logic programming, high-level behavioral models, dynamic analysis, declarative meta-programming

Prí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

Autori: Chuchang Liu Mehmet A. Orgun Kang Zhang a ďalší

Prispievatelia: Chuchang Liu Mehmet A. Orgun Kang Zhang a ďalší

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

Predmety: Key Words, Temporal logic programming, operational semantics, context-parallelism, warehouse, dataflow computation

Popis súboru: application/postscript

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

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

Stratified Negation in Temporal Logic Programming and the Cycle Sum Test

Autori: P. Rondogiannis The Pennsylvania State University CiteSeerX Archives

Prispievatelia: P. Rondogiannis The Pennsylvania State University CiteSeerX Archives

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

Predmety: Temporal Logic Programming, Negation, Stratification, Cycle Sum Test

Popis súboru: 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

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