Suchergebnisse - logic programming and answer (sept OR site) programming

Computing Thermodynamically Consistent Elementary Flux Modes with Answer Set Programming

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

Weitere Verfasser: Crisci, Emma Mahout, Maxime Peres, Sabine et al.

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

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

Geographisches Schlagwort: Pise, Italy

Verfügbarkeit: 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

Autoren: Komara, Ján

Schlagwörter: 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)

Zugangs-URL: http://arxiv.org/abs/2207.09142

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

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

Weitere Verfasser: Alviano, Mario Batsakis, Sotiris Baryannis, George et al.

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

Dateibeschreibung: application/pdf

Relation: urn:ISBN:9783031157066

Verfügbarkeit: 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

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

Autoren: Veronica Dahl Ilkka Niemelä

Quelle: Lecture Notes in Computer Science ISBN: 9783540746089

Schlagwörter: 7. Clean energy

Zugangs-URL: http://ci.nii.ac.jp/ncid/BA8321227X

A Logic Programming Approach to Global Logistics in a Co-Design Environment

Autoren: Dietz, Emmanuelle Philipp, Tobias Schramm, Gerrit et al.

Quelle: Electronic Proceedings in Theoretical Computer Science. 385:227-240

Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Databases, Computer Science - Artificial Intelligence, Databases (cs.DB), Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2308.15892

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

Autoren: Sarah Gaggl Maria Vanina Martinez Magdalena Ortiz

Resource Type: eBook.

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

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

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

Autoren: Alviano, Mario Batsakis, Sotiris Baryannis, George

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

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

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

Autoren: Cabalar, Pedro Fandinno, Jorge Lierler, Yuliya

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

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

Towards Metric Temporal Answer Set Programming

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

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

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

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

Autoren: Izmirlioglu, Yusuf Erdem, Esra

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

Autoren: Bogatarkan, Aysu Erdem, Esra

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

Autoren: Rizwan, Momina Patoglu, Volkan Erdem, Esra

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

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

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

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

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

Autoren: Fangzhen Lin Esra Erdem Torsten Schaub

Quelle: Lecture Notes in Computer Science ISBN: 9783642042379

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

Zugangs-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

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

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

Index Begriffe: Computer Science - Artificial Intelligence, text

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

Relating Two Dialects of Answer Set Programming

Autoren: Harrison, Amelia Lifschitz, Vladimir

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

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

Revisiting Explicit Negation in Answer Set Programming

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

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

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