Výsledky vyhľadávania - logic programming AND answer sept programming*

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

Autori: Komara, Ján

Predmety: 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)

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

Computing Thermodynamically Consistent Elementary Flux Modes with Answer Set Programming

Autori: Crisci, Emma Mahout, Maxime Peres, Sabine a ďalší

Prispievatelia: Crisci, Emma Mahout, Maxime Peres, Sabine a ďalší

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⟩

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

Geografické téma: Pise, Italy

Dostupnosť: 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

Autori: Alviano, Mario Batsakis, Sotiris Baryannis, George a ďalší

Prispievatelia: Alviano, Mario Batsakis, Sotiris Baryannis, George a ďalší

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 súboru: application/pdf

Relation: urn:ISBN:9783031157066

Dostupnosť: 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

Autori: Tompits, Hans Abreu, Salvador Oetsch, Johannes a ďalší

Témy: 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

Autori: Alviano, Mario Batsakis, Sotiris Baryannis, George

Témy: 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.

Autori: Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. a ďalší

Témy: 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

Autori: Cabalar, Pedro Fandinno, Jorge Lierler, Yuliya

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

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

Towards Metric Temporal Answer Set Programming

Autori: Cabalar, Pedro Dieguez, Martin Schaub, Torsten a ďalší

Témy: 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

Autori: Erdem, Esra Fidan, Muge Manlove, David a ďalší

Témy: 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

Autori: Fink, Michael Lierler, Yuliya

Témy: 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

Autori: Fangzhen Lin Esra Erdem Torsten Schaub

Zdroj: Lecture Notes in Computer Science ISBN: 9783642042379

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

Prí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

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

Autori: Izmirlioglu, Yusuf Erdem, Esra

Témy: 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

Autori: Veronica Dahl Ilkka Niemelä

Zdroj: Lecture Notes in Computer Science ISBN: 9783540746089

Predmety: 7. Clean energy

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

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

Autori: Bogatarkan, Aysu Erdem, Esra

Témy: 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

Autori: Rizwan, Momina Patoglu, Volkan Erdem, Esra

Témy: 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

Autori: Calimeri, Francesco Ianni, Giovambattista Pacenza, Francesco a ďalší

Témy: 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

Autori: Harrison, Amelia Lifschitz, Vladimir

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

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

Revisiting Explicit Negation in Answer Set Programming

Autori: Aguado, Felicidad Cabalar, Pedro Fandinno, Jorge a ďalší

Témy: 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

Autori: Baryannis, George Tachmazidis, Ilias Batsakis, Sotiris a ďalší

Témy: 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

Autori: Sarah Gaggl Maria Vanina Martinez Magdalena Ortiz

Typ zdroja: eBook.

Predmet: Artificial intelligence, Application software, Computers, Special purpose, Computer science, Machine theory, Computer programming

Kategórie: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General