Výsledky vyhľadávania - Theory of computation Logic Programming logic

The Stable Model Semantics for Higher-Order Logic Programming

Autori: Bogaerts, Bart Charalambidis, Angelos Chatziagapis, Giannos a ďalší

Prispievatelia: Bogaerts, Bart Charalambidis, Angelos Chatziagapis, Giannos a ďalší

Zdroj: Theory and Practice of Logic Programming. 24:737-754

Predmety: FOS: Computer and information sciences, Technology, Computer Science - Logic in Computer Science, Logic, Computer Science - Artificial Intelligence, LANGUAGE, NP, Computation Theory & Mathematics, Computer Science, Theory & Methods, 0801 Artificial Intelligence and Image Processing, 0802 Computation Theory and Mathematics, stable model semantics, 4613 Theory of computation, approximation fixpoint theory, I.2.3, Science & Technology, Computer Science - Programming Languages, I.2.5, 4602 Artificial intelligence, F.3.2, 0803 Computer Software, Computer Science, Software Engineering, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), Computer Science, Science & Technology - Other Topics, FIXPOINT SEMANTICS, higher-order logic programming, Programming Languages (cs.PL)

Prístupová URL adresa: http://arxiv.org/abs/2408.10563
https://lirias.kuleuven.be/handle/20.500.12942/760291
https://doi.org/10.1017/s1471068424000231
https://biblio.vub.ac.be/vubir/the-stable-model-semantics-for-higherorder-logic-programming(8d08ad18-0693-43e9-a548-fc74e59c32fb).html
https://hdl.handle.net/20.500.14017/8d08ad18-0693-43e9-a548-fc74e59c32fb
https://doi.org/10.1017/s1471068424000231

Using Python to Reason about Logic and Set Theory: Three Instrumented Action Schemes

Autori: Antonio Estevan Martinez IV

Zdroj: Digital Experiences in Mathematics Education. 2024 10(1):1-28.

Peer Reviewed: Y

Počet strán: 28

Descriptors: Mathematics Education, Programming, Undergraduate Students, Competency Based Education, Computer Software, Theories, Computation, Mathematical Logic

No Cliques Allowed: The Next Step Towards BDD/FC Conjecture

Autori: Larroque, Lucas Ostropolski-Nalewaja, Piotr Thomazo, Michaël

Prispievatelia: Larroque, Lucas Ostropolski-Nalewaja, Piotr Thomazo, Michaël

Zdroj: Proceedings of the ACM on Management of Data. 3:1-20

Predmety: Bounded Derivation Depth Property, CCS Concepts: Theory of computation → Constraint and logic programming Finite Model Theory Automated reasoning Logic and databases Chase, Logic and databases Chase, Automated reasoning, CCS Concepts, Finite unification sets, TGDs, FC/BDD Conjecture, Theory of computation → Constraint and logic programming, [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB], Existential Rules, Tuple Generating Dependencies, BDD, FO-Rewritability, Finite Model Theory, FUS, Finite Controllability

Popis súboru: application/pdf

Prístupová URL adresa: https://inria.hal.science/hal-05273623v1/document
https://inria.hal.science/hal-05273623v1
https://doi.org/10.1145/3725238

Logic and Neural Networks (Dagstuhl Seminar 25061)

Autori: Belle, Vaishak Benedikt, Michael Drachsler-Cohen, Dana a ďalší

Prispievatelia: Belle, Vaishak Benedikt, Michael Drachsler-Cohen, Dana a ďalší

Predmety: safety, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], logic, computational complexity, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], databases, Computing methodologies → Logical and relational learning, [INFO.INFO-LG] Computer Science [cs]/Machine Learning [cs.LG], [INFO] Computer Science [cs], General and reference → Surveys and overviews, Computing methodologies → Machine learning approaches, machine learning, Computing methodologies → Artificial intelligence, learning theory, Theory of computation → Models of learning, Theory of computation → Constraint and logic programming, Theory of computation → Modal and temporal logics, verification

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.science/hal-05311341v1/document
https://doi.org/10.4230/dagrep.15.2.1
https://hal.science/hal-05311341v1

Introduction to the 37th International Conference on Logic Programming Special Issue I

Autori: ALEX BRIK ANDREA FORMISANO YANHONG ANNIE LIU a ďalší

Zdroj: Theory and Practice of Logic Programming. 21:521-526

Predmety: 4613 Theory of computation, Technology, Science & Technology, Logic, 4602 Artificial intelligence, 0803 Computer Software, 0102 computer and information sciences, 02 engineering and technology, Computer Science, Software Engineering, 01 natural sciences, Computation Theory & Mathematics, Computer Science, Theory & Methods, Computer Science, 0801 Artificial Intelligence and Image Processing, 0202 electrical engineering, electronic engineering, information engineering, Science & Technology - Other Topics, 0802 Computation Theory and Mathematics

Prístupová URL adresa: https://www.cambridge.org/core/services/aop-cambridge-core/content/view/B50F315AC2D892CDC67F683FEEEEE249/S1471068421000442a.pdf/div-class-title-introduction-to-the-37th-international-conference-on-logic-programming-special-issue-i-div.pdf
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/281FC6EE09AE8AC657B59FBFDFCF5D3D/S1471068421000454a.pdf/div-class-title-introduction-to-the-37th-international-conference-on-logic-programming-special-issue-ii-div.pdf
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/introduction-to-the-37th-international-conference-on-logic-programming-special-issue-i/B50F315AC2D892CDC67F683FEEEEE249
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S1471068421000454
https://hdl.handle.net/11390/1215676
https://doi.org/10.1017/S1471068421000442
https://hdl.handle.net/11390/1217455
https://doi.org/10.1017/S1471068421000454

Binary Non-Termination in Term Rewriting and Logic Programming

Autori: Payet, Etienne Akihisa Yamada

Prispievatelia: Payet, Etienne Akihisa Yamada

Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer and information sciences, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Logic Programming, Logic in Computer Science, Constraint and logic programming, Program analysis phrases Non-Termination, Term Rewriting, Theory of computation, Rewrite systems, Logic in Computer Science (cs.LO)

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2307.11549
https://hal.univ-reunion.fr/hal-04315644v1/document
https://hal.univ-reunion.fr/hal-04315644v1
https://doi.org/10.48550/arxiv.2307.11549

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Autori: Din, Crystal Hähnle, Reiner Henrio, Ludovic a ďalší

Prispievatelia: Din, Crystal Hähnle, Reiner Henrio, Ludovic a ďalší

Zdroj: ACM Transactions on Programming Languages and Systems

Predmety: CCS Concepts, Programming logic, Theory of computation → Parallel computing models, • Software and its engineering → Concurrent programming structures, CCS Concepts: Theory of computation → Parallel computing models Programming logic Program semantics • Software and its engineering → Concurrent programming structures, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Program semantics, 01 natural sciences

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.science/hal-04732946v1
https://hal.science/hal-04732946v1/document
https://doi.org/10.1145/3648439
https://hdl.handle.net/11250/3152463

Multi-Shot Answer Set Programming for Flexible Payroll Management

Autori: Callewaert, Benjamin Vennekens, Joost

Zdroj: Theory and Practice of Logic Programming. 24:453-481

Predmety: 4613 Theory of computation, Technology, Science & Technology, Logic, 4602 Artificial intelligence, payroll management, 0803 Computer Software, decision modelling, 0102 computer and information sciences, 02 engineering and technology, Computer Science, Software Engineering, 01 natural sciences, CALCULUS, Computation Theory & Mathematics, Computer Science, Theory & Methods, Computer Science, 0801 Artificial Intelligence and Image Processing, 0202 electrical engineering, electronic engineering, information engineering, Science & Technology - Other Topics, answer set programming, SYSTEM, 0802 Computation Theory and Mathematics

Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory

Autori: Vanbesien, Linde Bruynooghe, Maurice Denecker, Marc

Zdroj: Theory and Practice of Logic Programming. 22:523-537

Predmety: 4613 Theory of computation, FOS: Computer and information sciences, Technology, Computer Science - Logic in Computer Science, Science & Technology, Logic, 4602 Artificial intelligence, Computer Science - Artificial Intelligence, 0803 Computer Software, 0102 computer and information sciences, 02 engineering and technology, Computer Science, Software Engineering, Approximation Fixpoint Theory, Answer set Programming, 01 natural sciences, Computation Theory & Mathematics, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), Computer Science, Theory & Methods, Computer Science, aggregates, 0801 Artificial Intelligence and Image Processing, 0202 electrical engineering, electronic engineering, information engineering, Science & Technology - Other Topics, 0802 Computation Theory and Mathematics

Prístupová URL adresa: http://arxiv.org/abs/2104.14789

A new Constraint Programming model for the Multiple Constant Multiplication

Autori: Cantaloube, Théo Peng, Xiao Solnon, Christine a ďalší

Prispievatelia: Cantaloube, Théo Peng, Xiao Solnon, Christine a ďalší

Predmety: Hardware Optimization, Constraint and logic programming, [INFO] Computer Science [cs], Multiple Constant Multiplication, Constraint Programming, Theory of computation

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.science/hal-05251229v1

Argumentative and cooperative multi-agent system for extended logic programming

Autori: De Almeida Móra, Iara Alferes, José Júlio CENTRIA – Centro de Inteligência Artificial a ďalší

Prispievatelia: De Almeida Móra, Iara Alferes, José Júlio CENTRIA – Centro de Inteligência Artificial a ďalší

Predmety: Semantics, argumentation frameworks, Artificial intelligence, Multi agent systems, Reconfigurable hardware, Distributed computer systems, Logic programming, Computation theory, Computer circuits, Inference engines, Computer Science(all), Theoretical Computer Science

Popis súboru: application/pdf

Relation: De Almeida Móra, I., & Alferes, J. J. (1998). Argumentative and cooperative multi-agent system for extended logic programming. In F. M. de Oliveira (Ed.), Advances in Artificial Intelligence - 14th Brazilian Symposium on Artificial Intelligence, SBIA 1998, Proceedings (Vol. 1515, pp. 161-170). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1515). Springer Verlag.; 354065190X; 03029743; PURE: 1111003; http://www.scopus.com/inward/record.url?scp=84956856332&partnerID=8YFLogxK

Dostupnosť: http://hdl.handle.net/10362/89759

Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates

Autori: JESSE HEYNINCK BART BOGAERTS Informatics and Applied Informatics a ďalší

Prispievatelia: JESSE HEYNINCK BART BOGAERTS Informatics and Applied Informatics a ďalší

Zdroj: Heyninck, J L A & Bogaerts, B 2023, 'Non-deterministic Approximation Operators : Ultimate Operators, Semi-equilibrium Semantics, and Aggregates', Theory and Practice of Logic Programming, vol. 23, no. 4, pp. 632-647. https://doi.org/10.1017/S1471068423000236

Predmety: 4613 Theory of computation, Technology, approximation fixpoint theory, Science & Technology, Logic, 4602 Artificial intelligence, MODELS, 0803 Computer Software, Computer Science, Software Engineering, LOGIC PROGRAMS, Computation Theory & Mathematics, Computer Science, Theory & Methods, Computer Science, 0801 Artificial Intelligence and Image Processing, Science & Technology - Other Topics, disjunctive logic programming, semi-equilibrium semantics, 0802 Computation Theory and Mathematics

Prístupová URL adresa: https://research.ou.nl/en/publications/40e20635-0949-4e19-811d-7f2de23e2611
https://doi.org/10.1017/S1471068423000236
https://lirias.kuleuven.be/handle/20.500.12942/750206
https://doi.org/10.1017/s1471068423000236
https://biblio.vub.ac.be/vubir/nondeterministic-approximation-operators-ultimate-operators-semiequilibrium-semantics-and-aggregates(aba3757b-a2f7-4b67-a144-c06fddd35f1f).html
https://www.scopus.com/pages/publications/85165110980
https://research.ou.nl/en/publications/40e20635-0949-4e19-811d-7f2de23e2611
https://doi.org/10.1017/S1471068423000236

Automatic Differentiation in Prolog

Autori: Schrijvers, Tom Van Den Berg, Birthe Riguzzi, Fabrizio

Zdroj: Theory and Practice of Logic Programming. 23:900-917

Predmety: 4613 Theory of computation, FOS: Computer and information sciences, Technology, Science & Technology, Computer Science - Programming Languages, Logic, 4602 Artificial intelligence, probabilistic programming, PEARL, 0803 Computer Software, automatic differentiation, Prolog, 02 engineering and technology, Computer Science, Software Engineering, Computation Theory & Mathematics, Computer Science, Theory & Methods, Computer Science, 0801 Artificial Intelligence and Image Processing, 0202 electrical engineering, electronic engineering, information engineering, Science & Technology - Other Topics, ALGORITHM, 0802 Computation Theory and Mathematics, Programming Languages (cs.PL)

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2305.07878
https://lirias.kuleuven.be/handle/20.500.12942/722785
https://doi.org/10.1017/s1471068423000145
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/automatic-differentiation-in-prolog/2437E493B9630BC0E3F7D9BBE690F49D
https://hdl.handle.net/11392/2518710
https://doi.org/10.1017/S1471068423000145

Mathematical Aspects of Logic Programming Semantics

Autori: Hitzler, Pascal Seda, Anthony

Predmety: Computer Science (General), Intelligent Systems, Machine Learning, SCI-TECH, COMPUTERSCIENCE, ITECH, INFORMATIONSCIENCE, STM, complete, fixed, ground, level, mappings, order, partial, point, predicate, symbol, Games development and programming, Information architecture, Mathematical theory of computation, Systems analysis and design

Popis súboru: application/pdf

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/41648

CP-logic: A language of causal probabilistic events and its relation to logic programming

Autori: Vennekens, Joost Denecker, Marc Bruynooghe, Maurice

Zdroj: Theory and Practice of Logic Programming. 9:245-308

Predmety: FOS: Computer and information sciences, Technology, Computer Science - Logic in Computer Science, causality, Logic, Computer Science - Artificial Intelligence, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, cs.LO, Computation Theory & Mathematics, Computer Science, Theory & Methods, 0801 Artificial Intelligence and Image Processing, 0202 electrical engineering, electronic engineering, information engineering, uncertainty, 0802 Computation Theory and Mathematics, 4613 Theory of computation, Science & Technology, I.2.4, 4602 Artificial intelligence, 0803 Computer Software, cs.AI, Computer Science, Software Engineering, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), Computer Science, Science & Technology - Other Topics, probabilistic logic programming, WELL-FOUNDED SEMANTICS

Prístupová URL adresa: https://lirias.kuleuven.be/bitstream/123456789/229813/3/tplp.pdf
http://arxiv.org/abs/0904.1672

Complexity of minimum-size arc-inconsistency explanations

Autori: Bessiere, Christian Carbonnel, Clément Cooper, Martin C. a ďalší

Prispievatelia: Bessiere, Christian Carbonnel, Clément Cooper, Martin C. a ďalší

Zdroj: Constraints. 28:427-449

Predmety: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Theory of computation → Problems, reductions and completeness, constraint propagation, Minimum explanations, Complexity, Constraint propagation, minimum explanations, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Theory of computation → Fixed parameter tractability, Theory of computation → Constraint and logic programming, Fixed parameter tractability, Constraint programming, Constraint and logic programming, ddc:004, complexity

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2022.9
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03833388v1
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03833388v1/document
https://doi.org/10.4230/lipics.cp.2022.9

smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation

Autori: Totis, Pietro De Raedt, Luc Kimmig, Angelika

Zdroj: Theory and Practice of Logic Programming. 23:1198-1247

Predmety: FOS: Computer and information sciences, Technology, Logic, Computer Science - Artificial Intelligence, distribution semantics, Computation Theory & Mathematics, Computer Science, Theory & Methods, probabilistic argumentation, LOGIC, 0801 Artificial Intelligence and Image Processing, PROGRAMMING-SEMANTICS, 0802 Computation Theory and Mathematics, stable model semantics, 4613 Theory of computation, D.3.1, Science & Technology, COMPLEXITY, 68-06, 68T30, 4602 Artificial intelligence, D.1.6, 0803 Computer Software, FRAMEWORKS, Computer Science, Software Engineering, ProbLog, Artificial Intelligence (cs.AI), Computer Science, Science & Technology - Other Topics, probabilistic logic programming

Prístupová URL adresa: http://arxiv.org/abs/2304.00879

Using the Fuzzy Logic in Assessing the Programming Performance of Students

Autori: Arslan Namli, Nihan Senkal, Ozan

Zdroj: International Journal of Assessment Tools in Education. 2018 5(4):701-712.

Peer Reviewed: Y

Počet strán: 12

Descriptors: Undergraduate Students, Programming, Computation, Student Evaluation, Computer Science Education, Foreign Countries, Academic Achievement

Geografický termín: Turkey

On the implementation of the probabilistic logic programming language ProbLog

Autori: Kimmig, Angelika Demoen, Bart De Raedt, Luc a ďalší

Prispievatelia: Kimmig, Angelika Demoen, Bart De Raedt, Luc a ďalší

Zdroj: Theory and Practice of Logic Programming. 11:235-262

Predmety: FOS: Computer and information sciences, Technology, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Logic, cs.LG, cs.PL, 02 engineering and technology, Exact and approximative inference, cs.LO, Ciências exactas e naturais::Ciências da computação e da informação, Computation Theory & Mathematics, Machine Learning (cs.LG), ABDUCTION, Programação, Ciências da computação e da informação, Computer Science, Theory & Methods, 0801 Artificial Intelligence and Image Processing, 0202 electrical engineering, electronic engineering, information engineering, Programming, Computer and information sciences, 0802 Computation Theory and Mathematics, 4613 Theory of computation, Science & Technology, Computer Science - Programming Languages, 4602 Artificial intelligence, 0803 Computer Software, Computer Science, Software Engineering, Natural sciences::Computer and information sciences, Logic in Computer Science (cs.LO), Probabilistic logic programming, Implementation, Computer Science, Science & Technology - Other Topics, probabilistic logic programming, Programming Languages (cs.PL)

Popis súboru: application/pdf

Prístupová URL adresa: https://lirias.kuleuven.be/bitstream/123456789/259607/1/kimmig10.pdf
http://arxiv.org/abs/1006.4442
https://arxiv.org/abs/1006.4442
https://arxiv.org/pdf/1006.4442
https://hdl.handle.net/10216/53031

SAT-Inspired Eliminations for Superposition

Autori: Vukmirović, Petar Blanchette, Jasmin Heule, Marijn

Prispievatelia: Vukmirović, Petar Blanchette, Jasmin Heule, Marijn

Zdroj: 21st International Conference on Formal Methods in Computer-Aided Design (FMCAD 2021)

Predmety: superposition calculus, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], SAT solving, formal methods, hardware and system verification, formale Methode, Theory of computation → Automated reasoning, rechnerunterstützte Systementwicklung, 02 engineering and technology, [INFO] Computer Science [cs], CCS Concepts: Theory of computation → Automated reasoning Logic and verification Constraint and logic programming Theorem proving, Hardwareverifikation, CCS Concepts, Constraint and logic programming Theorem proving, 0202 electrical engineering, electronic engineering, information engineering, Logic and verification, computer-aided system design, Theorem proving, first-order logic

Popis súboru: application/pdf

Prístupová URL adresa: https://research.vu.nl/en/publications/593885b3-4f56-4c70-ac7b-c9e90a040e25
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_32
https://hdl.handle.net/1871.1/593885b3-4f56-4c70-ac7b-c9e90a040e25
https://hdl.handle.net/1871.1/2d1c8438-6ae4-4102-acdc-b0671fc22cda
https://doi.org/10.1145/3565366
https://research.vu.nl/en/publications/2d1c8438-6ae4-4102-acdc-b0671fc22cda
https://inria.hal.science/hal-03485200v1/document
https://inria.hal.science/hal-03485200v1
https://doi.org/10.5281/zenodo.4552499
https://inria.hal.science/hal-04298574v1
https://doi.org/10.1145/3565366
https://inria.hal.science/hal-04298574v1/document