Search Results - logic programming and answer sept programming

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

Authors: Komara, Ján

Subject Terms: 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)

Access URL: http://arxiv.org/abs/2207.09142

Computing Thermodynamically Consistent Elementary Flux Modes with Answer Set Programming

Authors: Crisci, Emma Mahout, Maxime Peres, Sabine et al.

Contributors: Crisci, Emma Mahout, Maxime Peres, Sabine et al.

Source: 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⟩

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

Subject Geographic: Pise, Italy

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

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

Authors: Alviano, Mario Batsakis, Sotiris Baryannis, George et al.

Contributors: Alviano, Mario Batsakis, Sotiris Baryannis, George et al.

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

File Description: application/pdf

Relation: urn:ISBN:9783031157066

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

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

Authors: Tompits, Hans Abreu, Salvador Oetsch, Johannes et al.

Index Terms: 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

Authors: Alviano, Mario Batsakis, Sotiris Baryannis, George

Index Terms: 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.

Authors: Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. et al.

Index Terms: 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

Authors: Cabalar, Pedro Fandinno, Jorge Lierler, Yuliya

Index Terms: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, text

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

Towards Metric Temporal Answer Set Programming

Authors: Cabalar, Pedro Dieguez, Martin Schaub, Torsten et al.

Index Terms: 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

Authors: Erdem, Esra Fidan, Muge Manlove, David et al.

Index Terms: 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

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

Authors: Fink, Michael Lierler, Yuliya

Index Terms: Computer Science - Artificial Intelligence, text

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

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

Authors: Fangzhen Lin Esra Erdem Torsten Schaub

Source: Lecture Notes in Computer Science ISBN: 9783642042379

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

Access URL: 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

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

Authors: Izmirlioglu, Yusuf Erdem, Esra

Index Terms: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, text

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

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

Authors: Veronica Dahl Ilkka Niemelä

Source: Lecture Notes in Computer Science ISBN: 9783540746089

Subject Terms: 7. Clean energy

Access URL: http://ci.nii.ac.jp/ncid/BA8321227X

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

Authors: Bogatarkan, Aysu Erdem, Esra

Index Terms: 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

Authors: Rizwan, Momina Patoglu, Volkan Erdem, Esra

Index Terms: 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

Authors: Calimeri, Francesco Ianni, Giovambattista Pacenza, Francesco et al.

Index Terms: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, text

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

Relating Two Dialects of Answer Set Programming

Authors: Harrison, Amelia Lifschitz, Vladimir

Index Terms: Computer Science - Logic in Computer Science, text

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

Revisiting Explicit Negation in Answer Set Programming

Authors: Aguado, Felicidad Cabalar, Pedro Fandinno, Jorge et al.

Index Terms: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, text

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

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

Authors: Baryannis, George Tachmazidis, Ilias Batsakis, Sotiris et al.

Index Terms: Computer Science - Artificial Intelligence, text

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

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

Authors: Sarah Gaggl Maria Vanina Martinez Magdalena Ortiz

Resource Type: eBook.

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