Výsledky vyhľadávania - "Answer Set Programming (ASP)"

OpenAPI Interface Definition for the Communication of Study Regulations between SemaLogic and Answer Set Programming (ASP)

Autori: Goebel, Matthias von der Heyde, Markus

Predmety: ASP, 4. Education, SemaLogic, JSON, OpenAPI, 3. Good health, Semantics

Delayed predicate algorithm evaluation in hybrid answer set programming (ASP)

Autori: Brik, Alex Bomanson, Jori

Zdroj: Defensive Publications Series

Popis súboru: application/pdf

Relation: https://www.tdcommons.org/dpubs_series/1853; https://www.tdcommons.org/context/dpubs_series/article/2921/viewcontent/Delayed_predicate_algorithm_evaluation_in_hybrid_answer_set_programming__ASP_.pdf

Dostupnosť: https://www.tdcommons.org/dpubs_series/1853
https://www.tdcommons.org/context/dpubs_series/article/2921/viewcontent/Delayed_predicate_algorithm_evaluation_in_hybrid_answer_set_programming__ASP_.pdf

Efficient compliance checking of RDF data

Autori: Livio Robaldo Francesco Pacenza Jessica Zangari a ďalší

Zdroj: Journal of Logic and Computation. 33:1753-1776

Predmety: compliance checking logic programming argumentation, 0202 electrical engineering, electronic engineering, information engineering, compliance checking, rdf, data, krr, answer set programming, asp, logic, logics, 06 humanities and the arts, 02 engineering and technology, 16. Peace & justice, 0603 philosophy, ethics and religion

Popis súboru: application/pdf

Prístupová URL adresa: https://cronfa.swan.ac.uk/Record/cronfa63627/Download/63627__27918__745a4a5f78d44da4a5ce7b711d86130a.pdf

Smart system for planning and managing a schedule from a database using Answer Set Programming (ASP) ; Έξυπνο σύστημα σχεδιασμού και διαχείρισης χρονοδιαγράμματος από βάση δεδομένων με χρήση Προγραμματισμού Συνόλων Απαντήσεων (ΠΣΑ)

Autori: Κάνιας, Σταύρος Kanias, Stavros

Prispievatelia: Κάνιας, Σταύρος Kanias, Stavros

Predmety: Artificial intelligence, Answer set programming, (Re)Scheduling, Medical appointements, Digital healthcare, Python, Clingo, SQL, Datanase design, Optimization, Τεχνητή νοημοσύνη, Προγραμματισμός συνόλων απαντήσεων, (Επανα)Προγραμματισμός, Ιατρικά ραντεβού, Ψηφιακή υγεία, Σχεδιασμός βάσης δεδομένων, Βελτιστοποίηση

Popis súboru: application/pdf

Relation: https://hdl.handle.net/10889/25872

Dostupnosť: https://hdl.handle.net/10889/25872

The Answer Set Programming (ASP) Competition

Autori: Francesco Calimeri Giovambattista Ianni Thomas Krennwallner a ďalší

Prispievatelia: Francesco Calimeri Giovambattista Ianni Thomas Krennwallner a ďalší

Zdroj: http://www.kr.tuwien.ac.at/staff/tkren/pub/2012/aimag2012-aspcomp.pdf.

Predmety: Seminar on Nonmonotonic Reasoning, Answer Set

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.433.7577
http://www.kr.tuwien.ac.at/staff/tkren/pub/2012/aimag2012-aspcomp.pdf

An answer set programming-based implementation of epistemic probabilistic event calculus

Autori: D'Asaro, Fabio Aurelio Bikakis, Antonis Dickens, Luke a ďalší

Zdroj: International Journal of Approximate Reasoning , 165 , Article 109101. (2024)

Predmety: Answer set programming (ASP), Epistemic reasoning, Probabilistic reasoning, Event calculus, Knowledge representation, Artificial intelligence

Popis súboru: text

Relation: https://discovery.ucl.ac.uk/id/eprint/10185292/

Dostupnosť: https://discovery.ucl.ac.uk/id/eprint/10185292/1/1-s2.0-S0888613X23002323-main.pdf
https://discovery.ucl.ac.uk/id/eprint/10185292/

Analyzing Long-Term Dynamics of Biological Networks with Answer Set Programming

Autori: Ben Abdallah, Emna Folschette, Maxime Magnin, Morgan a ďalší

Prispievatelia: Ben Abdallah, Emna Folschette, Maxime Magnin, Morgan a ďalší

Zdroj: Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools ; https://hal.science/hal-03735849 ; Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools, 2022

Predmety: Answer Set Programming (ASP), logic programming, attractors, stable states, dynamical analysis, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM]

Dostupnosť: https://hal.science/hal-03735849
https://hal.science/hal-03735849v2/document
https://hal.science/hal-03735849v2/file/Analyzing%20Long-Term%20Dynamics%20of%20Biological%20Networks%20with%20Answer%20Set%20Programming.pdf

An ASP Method for Calculating Slater and Kemeny Voting

Autori: XU Hengjian, WANG Yisong, FENG Renyan

Zdroj: Jisuanji gongcheng, Vol 45, Iss 9, Pp 198-203 (2019)

Predmety: slater voting, kemeny voting, np-hard problem, answer set programming(asp), tournament, Computer engineering. Computer hardware, TK7885-7895, Computer software, QA76.75-76.765

Popis súboru: electronic resource

Relation: https://www.ecice06.com/fileup/1000-3428/PDF/20190932.pdf; https://doaj.org/toc/1000-3428

Prístupová URL adresa: https://doaj.org/article/8740aad25dd74f3eb570b5fc0c8c0700

From Mechanics to Meaning

Autori: Adam Summerville Chris Martens Sarah Harmon a ďalší

Zdroj: IEEE Transactions on Games. 11:69-78

Predmety: 4. Education, 05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, 0501 psychology and cognitive sciences, Automated game analysis, 02 engineering and technology, Proceduralist readings, 15. Life on land, 10. No inequality, 7. Clean energy, Answer set programming (ASP), 3. Good health

Popis súboru: text/html

Program verification and refactoring in answer set programming

Autori: Temple, Nathan

Predmety: Refactoring, Safety in logic programs, Formal methods, Prime numbers, Computational domains, Local tightness, Bishops on a chessboard, Logic programming, Equivalence verification, Combinatorial problems, Program verification, Program behavior preservation, Vampire theorem prover, Composite numbers, Optimization in ASP, Declarative programming paradigm, Anthem verification tool, Two-sorted first-order logic, Answer set programming (ASP), Induction axioms

Επίλυση δισδιάστατων προβλημάτων κοπής με τομές γκιλοτίνας μέσω Answer Set Programming ; Solving two-dimensional guillotine cutting problems using Answer Set Programming

Autori: Χρισταράς, Χαράλαμπος Christaras, Charalampos

Prispievatelia: Χρισταράς, Χαράλαμπος Christaras, Charalampos

Predmety: Κοπή γυαλιού, Τομές γκιλοτίνας, Answer Set Programming (ASP)

Popis súboru: application/pdf

Relation: https://hdl.handle.net/10889/28189

Dostupnosť: https://hdl.handle.net/10889/28189

Έξυπνη εφαρμογή σχεδίασης εξατομικευμένου προγράμματος εκγύμνασης ; Smart personalized workout plan designer

Autori: Φραγκιαδάκης, Δημήτριος Fragkiadakis, Dimitrios

Prispievatelia: Φραγκιαδάκης, Δημήτριος Fragkiadakis, Dimitrios

Predmety: Πολυκριτηριακή βελτιστοποίηση, Πρόβλημα ικανοποίησης περιορισμών, Λογικός προγραμματισμός, Πρόγραμμα εκγύμνασης, Multi-objective optimization, Constraint satisfaction problems (CSP), Answer Set Programming (ASP), Logic programming, Workout plan designer

Popis súboru: application/pdf; winrar

Relation: https://hdl.handle.net/10889/28721

Dostupnosť: https://hdl.handle.net/10889/28721

Continuous reasoning for adaptive container image distribution in the cloud–edge continuum.

Autori: Azzolini, Damiano Forti, Stefano Ielo, Antonio

Zdroj: Cluster Computing; Oct2025, Vol. 28 Issue 7, p1-17, 17p

Predmety: EDGE computing, RESOURCE allocation, NETWORK performance

ASP for Construction and Validation of Regulatory Biological Networks

Autori: Rocca, Alexandre Mobilia, Nicolas Fanchon, Eric a ďalší

Prispievatelia: Rocca, Alexandre Mobilia, Nicolas Fanchon, Eric a ďalší

Zdroj: Logical Modeling of Biological Systems ; https://hal.science/hal-02272463 ; Logical Modeling of Biological Systems, John Wiley & Sons, Inc., pp.167-206, 2014, ⟨10.1002/9781119005223.ch5⟩

Predmety: answer set programming (ASP), biological logical networks, Boolean network, computational tree logic (CTL), genetic regulatory networks (GRNs), regulatory biological networks, temporal logic (LTL), temporal logics, [SDV]Life Sciences [q-bio]

Dostupnosť: https://hal.science/hal-02272463
https://hal.science/hal-02272463v1/document
https://hal.science/hal-02272463v1/file/FdC2014.pdf
https://doi.org/10.1002/9781119005223.ch5

Epistemic Equilibrium Logic (IJCAI 2015)

Autori: Fariñas del Cerro, Luis Herzig, Andreas Su, Ezgi Iraz a ďalší

Prispievatelia: Fariñas del Cerro, Luis Herzig, Andreas Su, Ezgi Iraz a ďalší

Zdroj: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence ; 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) ; https://hal.science/hal-01334713 ; 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), International Joint Conference on Artificial Intelligence (IJCAI); Argentinean Association of Artificial Intelligence (AAIA-SADIO division), Jul 2015, Buenos Aires, Argentina. pp.2964-2970 ; https://ijcai-15.org/

Predmety: Modal logic, Answer-set programming (ASP), Equilibrium logic, Epistemic specifications, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: Buenos Aires, Argentina

Dostupnosť: https://hal.science/hal-01334713
https://hal.science/hal-01334713v1/document
https://hal.science/hal-01334713v1/file/farinasdelcerro_15402.pdf

Epistemic Equilibrium Logic

Autori: Fariñas del Cerro, Luis Herzig, Andreas Su, Ezgi Iraz a ďalší

Prispievatelia: Fariñas del Cerro, Luis Herzig, Andreas Su, Ezgi Iraz a ďalší

Predmety: Intelligence artificielle, Apprentissage, Logique en informatique, Informatique et langage, Modal logic, Answer-set programming (ASP), Equilibrium logic, Epistemic specifications

Popis súboru: application/pdf

Relation: https://oatao.univ-toulouse.fr/15402/1/farinasdelcerro_15402.pdf; HAL : hal-01334713; Fariñas del Cerro, Luis and Herzig, Andreas and Su, Ezgi Iraz. Epistemic Equilibrium Logic. (2015) In: 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 25 July 2015 - 31 July 2015 (Buenos Aires, Argentina).

Dostupnosť: https://oatao.univ-toulouse.fr/15402/
http://ijcai.org/Proceedings/15/Papers/419.pdf

Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming

Autori: Ben Abdallah, Emna Folschette, Maxime Roux, Olivier a ďalší

Prispievatelia: Ben Abdallah, Emna Folschette, Maxime Roux, Olivier a ďalší

Zdroj: IEEE International Conference on Bioinformatics and Biomedicine ; IEEE International Conference on Bioinformatics and Biomedicine (BIBM) ; https://hal.science/hal-01252610 ; IEEE International Conference on Bioinformatics and Biomedicine (BIBM), Nov 2015, Washington, D.C., United States. pp.281-285, ⟨10.1109/BIBM.2015.7359694⟩ ; http://cci.drexel.edu/ieeebibm/bibm2015/

Predmety: Answer Set Programming ASP, Biological Regulatory Networks, Network Analysis, stable states, fixed points, Reachability Analysis, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Geografické téma: Washington, D.C., United States

Dostupnosť: https://hal.science/hal-01252610
https://hal.science/hal-01252610v1/document
https://hal.science/hal-01252610v1/file/main.pdf
https://doi.org/10.1109/BIBM.2015.7359694

The work aims at extending Answer Set Programming (ASP)

Prispievatelia: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.pims.math.ca/science/2004/NMR/papers/paper31.pdf.

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.134.7011; http://www.pims.math.ca/science/2004/NMR/papers/paper31.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.134.7011
http://www.pims.math.ca/science/2004/NMR/papers/paper31.pdf

A Graphical Formalism for Reasoning about Substitution in Resource Transforming Procedures.

Autori: BIKAKIS, ANTONIS D'ASARO, FABIO AURELIO DIALLO, AISSATOU a ďalší

Zdroj: Journal of Artificial Intelligence Research; 2025, Vol. 84, p1-45, 45p

Predmety: SUBSTITUTIONS (Mathematics), MANUFACTURING processes, RESOURCE allocation, MATHEMATICAL formulas

Enhancing Urban Air Mobility Scheduling Through Declarative Reasoning and Stakeholder Modeling.

Autori: Kim, Jeongseok Kim, Kangjin

Zdroj: Aerospace (MDPI Publishing); Jul2025, Vol. 12 Issue 7, p605, 23p

Predmety: KNOWLEDGE representation (Information theory), RESOURCE allocation, SCHEDULING, AIRPORTS