×

zbMATH — the first resource for mathematics

Found 360 Documents (Results 1–100)

100
MathJax
Prakken, Henry (ed.) et al., Computational models of argument. Proceedings of the 8th conference, COMMA 2020, University of Perugia, Italy, virtual conference, September 8–11, 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 326, 431-442 (2020).
MSC:  68T27 91A80
PDF BibTeX XML Cite
Full Text: DOI
Prakken, Henry (ed.) et al., Computational models of argument. Proceedings of the 8th conference, COMMA 2020, University of Perugia, Italy, virtual conference, September 8–11, 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 326, 227-238 (2020).
MSC:  68T27 03B42
PDF BibTeX XML Cite
Full Text: DOI
Prakken, Henry (ed.) et al., Computational models of argument. Proceedings of the 8th conference, COMMA 2020, University of Perugia, Italy, virtual conference, September 8–11, 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 326, 191-202 (2020).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Prakken, Henry (ed.) et al., Computational models of argument. Proceedings of the 8th conference, COMMA 2020, University of Perugia, Italy, virtual conference, September 8–11, 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 326, 111-122 (2020).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Prakken, Henry (ed.) et al., Computational models of argument. Proceedings of the 8th conference, COMMA 2020, University of Perugia, Italy, virtual conference, September 8–11, 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 326, 103-110 (2020).
MSC:  68T27 03B50
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 35-37 (2020).
MSC:  03B38
PDF BibTeX XML Cite
Full Text: DOI
Soares Barbosa, Luís (ed.) et al., Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12005, 104-123 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Liao, Beishui (ed.) et al., Dynamics, uncertainty and reasoning. Selected papers of the second Chinese conference on logic and argumentation (CLAR 2018), Hangzhou, China, June 16–17, 2018. Singapore: Springer. Log. Asia: Stud. Log. Libr., 63-79 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Velásquez-Bermúdez, Jesús M. (ed.) et al., Large scale optimization in supply chains and smart manufacturing. Theory and applications. Cham: Springer. Springer Optim. Appl. 149, 27-58 (2019).
MSC:  90C06 90C11
PDF BibTeX XML Cite
Full Text: DOI
Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11726, 62-73 (2019).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Blackburn, Patrick (ed.) et al., Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11813, 355-369 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 3-23 (2019).
MSC:  68T27 68T30
PDF BibTeX XML Cite
Full Text: DOI
Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11481, 89-102 (2019).
MSC:  68N17 68T27
PDF BibTeX XML Cite
Full Text: DOI
Sitharam, Meera (ed.) et al., Handbook of geometric constraint systems principles. Boca Raton, FL: CRC Press. Discrete Math. Appl. (Boca Raton), 299-315 (2019).
MSC:  52C25
PDF BibTeX XML Cite
Chesñevar, Carlos I. (ed.) et al., Argumentation-based proofs of endearment. Essays in honor of Guillermo R. Simari on the occasion of his 70th birthday. London: College Publications. Tributes 37, 103-122 (2018).
PDF BibTeX XML Cite
Modgil, Sanjay (ed.) et al., Computational models of argument. Proceedings of the 7th conference, COMMA 2018, Warsaw, Poland, September 12–14, 2018. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 305, 85-96 (2018).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Modgil, Sanjay (ed.) et al., Computational models of argument. Proceedings of the 7th conference, COMMA 2018, Warsaw, Poland, September 12–14, 2018. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 305, 61-72 (2018).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Modgil, Sanjay (ed.) et al., Computational models of argument. Proceedings of the 7th conference, COMMA 2018, Warsaw, Poland, September 12–14, 2018. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 305, 9-20 (2018).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 435-455 (2017).
MSC:  03B47 03B45
PDF BibTeX XML Cite
Full Text: DOI
Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 95-111 (2017).
MSC:  03F52 03B44 03B70
PDF BibTeX XML Cite
Full Text: DOI
Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 265-278 (2016).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Benevides, Mario (ed.) et al., Proceedings of the 10th workshop on logical and semantic frameworks, with applications (LSFA 2015), Natal, Brazil, August 31 – September 1, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 323, 125-142 (2016).
MSC:  68T15 03B35 03B40
PDF BibTeX XML Cite
Full Text: DOI
Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 351-363 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Igarashi, Atsushi (ed.), Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10017, 139-147 (2016).
MSC:  68Nxx
PDF BibTeX XML Cite
Full Text: DOI
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-87-3). LIPIcs – Leibniz International Proceedings in Informatics 38, 273-287 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Destercke, Sébastien (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compiègne, France, July 15–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9161, 72-82 (2015).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Eiter, Thomas (ed.) et al., Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-14725-3/pbk). Lecture Notes in Computer Science 9060. Lecture Notes in Artificial Intelligence, 296-308 (2015).
MSC:  68T27 68T30
PDF BibTeX XML Cite
Full Text: DOI
Eiter, Thomas (ed.) et al., Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9060, 265-280 (2015).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Endriss, Ulle (ed.) et al., STAIRS 2014. Proceedings of the 7th European starting AI researcher symposium, Prague, Czech Republic, August 18–19, 2014. Amsterdam: IOS Press (ISBN 978-1-61499-420-6/hbk; 978-1-61499-421-3/ebook). Frontiers in Artificial Intelligence and Applications 264, 240-249 (2014).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: Link
Connelly, Robert (ed.) et al., Rigidity and symmetry. Toronto: The Fields Institute for Research in the Mathematical Sciences; New York, NY: Springer (ISBN 978-1-4939-0780-9/hbk; 978-1-4939-0781-6/ebook). Fields Institute Communications 70, 131-154 (2014).
MSC:  52C25 51M10 05C62
PDF BibTeX XML Cite
Full Text: DOI arXiv
Connelly, Robert (ed.) et al., Rigidity and symmetry. Toronto: The Fields Institute for Research in the Mathematical Sciences; New York, NY: Springer (ISBN 978-1-4939-0780-9/hbk; 978-1-4939-0781-6/ebook). Fields Institute Communications 70, 117-130 (2014).
MSC:  52C25 70B15 20C35
PDF BibTeX XML Cite
Full Text: DOI
Connelly, Robert (ed.) et al., Rigidity and symmetry. Toronto: The Fields Institute for Research in the Mathematical Sciences; New York, NY: Springer (ISBN 978-1-4939-0780-9/hbk; 978-1-4939-0781-6/ebook). Fields Institute Communications 70, 41-60 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-11557-3/pbk). Lecture Notes in Computer Science 8761. Lecture Notes in Artificial Intelligence, 591-599 (2014).
MSC:  68T27 68T30
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software