Výsledky vyhledávání - logic programming and answer (sept OR siet) programming

Computing Thermodynamically Consistent Elementary Flux Modes with Answer Set Programming

Autoři: Crisci, Emma Mahout, Maxime Peres, Sabine a další

Přispěvatelé: Crisci, Emma Mahout, Maxime Peres, Sabine a další

Zdroj: Computational Methods in Systems Biology, 22nd International Conference, CMSB 2024, Pisa, Italy, September 16–18, 2024, Proceedings ; CMSB 2024 - 22nd International Conference Computational Methods in Systems Biology ; https://hal.science/hal-04707880 ; CMSB 2024 - 22nd International Conference Computational Methods in Systems Biology, Sep 2024, Pise, Italy. pp.80-88, ⟨10.1007/978-3-031-71671-3_7⟩

Témata: Metabolic Networks, Elementary flux modes, Logic programming, Thermodynamics, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM]

Geografické téma: Pise, Italy

Dostupnost: https://hal.science/hal-04707880
https://hal.science/hal-04707880v1/document
https://hal.science/hal-04707880v1/file/Tool_Paper_CMSB_2024.pdf
https://doi.org/10.1007/978-3-031-71671-3_7

Existentially Quantified Systems of Equations as an Implicit Representation of Answers in Logic Programming

Autoři: Komara, Ján

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/abs/2207.09142

Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds

Autoři: Alviano, Mario Batsakis, Sotiris Baryannis, George a další

Přispěvatelé: Alviano, Mario Batsakis, Sotiris Baryannis, George a další

Zdroj: Alviano, M, Batsakis, S & Baryannis, G 2022, Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds. in G Gottlob, D Inclezan & M Maratea (eds), Logic Programming and Nonmonotonic Reasoning : 16th International Conference, LPNMR 2022, Genoa, Italy, September 5–8, 2022, Proceedings. vol. 13416, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13416 LNAI, Springer, Cham, Cham, pp. 16-28, 16th International Conference on Logic Programming and Non-monotonic Reasoning, Genoa, Italy, 5/09/22. https://doi.org/10.1007/978-3-031-15707-3_2

Popis souboru: application/pdf

Relation: urn:ISBN:9783031157066

Dostupnost: https://pure.hud.ac.uk/en/publications/a6e1ba64-b122-4ab4-91b3-309b971e9617
https://doi.org/10.1007/978-3-031-15707-3_2
https://pure.hud.ac.uk/ws/files/50443152/2022_LPNMR_CR_.pdf
https://link.springer.com/book/9783031157080
http://www.scopus.com/inward/record.url?scp=85137984537&partnerID=8YFLogxK

Logics in Artificial Intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings

Autoři: Sarah Gaggl Maria Vanina Martinez Magdalena Ortiz

Resource Type: eBook.

Témata: Artificial intelligence, Application software, Computers, Special purpose, Computer science, Machine theory, Computer programming

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General

Applications of declarative programming and knowledge management : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers

Autoři: Tompits, Hans Abreu, Salvador Oetsch, Johannes a další

Témata: Computer Sciences, Datavetenskap (datalogi), Conference proceedings (editor), info:eu-repo/semantics/conferenceObject, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-63656
Lecture Notes in Computer Science, 0302-9743 ; 7773

Modal Logic S5 Satisfiability in Answer Set Programming

Autoři: Alviano, Mario Batsakis, Sotiris Baryannis, George

Témata: Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/2108.04194

Logic Programming and Nonmonotonic Reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski.

Autoři: Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. a další

Témata: Computer science., Computer programming., Software engineering., Computer logic., Mathematical logic., Computer science Mathematics., Artificial intelligence., Computer Science., Artificial Intelligence (incl. Robotics)., Discrete Mathematics in Computer Science., Logics and Meanings of Programs., Mathematical Logic and Formal Languages., Software Engineering., Programming Techniques., text

URL: http://dspace.conacyt.gov.py/xmlui/handle/123456789/15222
Springer eBooks
Lecture Notes in Computer Science, 0302-9743 ; 9345
http://cicco.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-23264-5

Modular Answer Set Programming as a Formal Specification Language

Autoři: Cabalar, Pedro Fandinno, Jorge Lierler, Yuliya

Témata: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/2008.02015

Towards Metric Temporal Answer Set Programming

Autoři: Cabalar, Pedro Dieguez, Martin Schaub, Torsten a další

Témata: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, text

URL: http://arxiv.org/abs/2008.02038

A General Framework for Stable Roommates Problems using Answer Set Programming

Autoři: Erdem, Esra Fidan, Muge Manlove, David a další

Témata: Computer Science - Artificial Intelligence, Computer Science - Computer Science and Game Theory, Computer Science - Logic in Computer Science, text

URL: http://arxiv.org/abs/2008.03050

Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming

Autoři: Izmirlioglu, Yusuf Erdem, Esra

Témata: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, text

URL: http://arxiv.org/abs/2008.04126

Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming

Autoři: Bogatarkan, Aysu Erdem, Esra

Témata: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, Computer Science - Multiagent Systems, Computer Science - Robotics, text

URL: http://arxiv.org/abs/2008.03573

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach

Autoři: Rizwan, Momina Patoglu, Volkan Erdem, Esra

Témata: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, Computer Science - Robotics, text

URL: http://arxiv.org/abs/2008.03496

Incremental Answer Set Programming with Overgrounding

Autoři: Calimeri, Francesco Ianni, Giovambattista Pacenza, Francesco a další

Témata: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, text

URL: http://arxiv.org/abs/1907.09212

A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming

Autoři: Baryannis, George Tachmazidis, Ilias Batsakis, Sotiris a další

Témata: Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/2008.01519

Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

Autoři: Fangzhen Lin Esra Erdem Torsten Schaub

Zdroj: Lecture Notes in Computer Science ISBN: 9783642042379

Témata: 9. Industry and infrastructure, 4. Education, 10. No inequality, 16. Peace & justice, 7. Clean energy, 3. Good health

Přístupová URL adresa: https://research-repository.griffith.edu.au/bitstream/10072/30225/1/62543_.pdf
https://ui.adsabs.harvard.edu/abs/2009LNCS.5753.....E/abstract
https://research.sabanciuniv.edu/11890/
https://researchportal.bath.ac.uk/en/publications/asp-the-future-is-bright-a-position-paper
https://link.springer.com/10.1007/978-3-642-04238-6

Relating Two Dialects of Answer Set Programming

Autoři: Harrison, Amelia Lifschitz, Vladimir

Témata: Computer Science - Logic in Computer Science, text

URL: http://arxiv.org/abs/1907.12139

Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings

Autoři: Veronica Dahl Ilkka Niemelä

Zdroj: Lecture Notes in Computer Science ISBN: 9783540746089

Témata: 7. Clean energy

Přístupová URL adresa: http://ci.nii.ac.jp/ncid/BA8321227X

Revisiting Explicit Negation in Answer Set Programming

Autoři: Aguado, Felicidad Cabalar, Pedro Fandinno, Jorge a další

Témata: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/1907.11467

Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary

Autoři: Fink, Michael Lierler, Yuliya

Témata: Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/1301.2215