المؤلفون: Amrollahi, Daneshvar, Preiner, Mathias, Niemetz, Aina, Reynolds, Andrew, Charikar, Moses, Tinelli, Cesare, Barrett, Clark

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2410.22419

المؤلفون: Mohamed, Mudathir, Reynolds, Andrew, Tinelli, Cesare, Barrett, Clark

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2405.03057

المؤلفون: Tsiskaridze, Nestan, Barrett, Clark, Tinelli, Cesare

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2404.16122

المؤلفون: Wilson, Amalee, Noetzli, Andres, Reynolds, Andrew, Cook, Byron, Tinelli, Cesare, Barrett, Clark

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2306.05854

المؤلفون: Larraz, Daniel, Tinelli, Cesare

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2205.09082

المؤلفون: Sheng, Ying, Nötzli, Andres, Reynolds, Andrew, Zohar, Yoni, Dill, David, Grieskamp, Wolfgang, Park, Junkil, Qadeer, Shaz, Barrett, Clark, Tinelli, Cesare

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2205.08095

المؤلفون: Larraz, Daniel, Laurent, Mickaël, Tinelli, Cesare

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2105.06575

المؤلفون: Sheng, Ying, Zohar, Yoni, Ringeissen, Christophe, Reynolds, Andrew, Barrett, Clark, Tinelli, Cesare

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2104.11738

المؤلفون: Tinelli, Cesare

المساهمون: Cesare Tinelli

مصطلحات موضوعية: Satisfiability Modulo Theories, Proof generation and certification

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 305, 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2024.2

الاتاحة: https://doi.org/10.4230/LIPIcs.SAT.2024.2
https://nbn-resolving.org/urn:nbn:de:0030-drops-205241
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2024.2

المؤلفون: Lachnitt, Hanna, Fleury, Mathias, Aniva, Leni, Reynolds, Andrew, Barbosa, Haniel, Nötzli, Andres, Barrett, Clark, Tinelli, Cesare

المصدر: Tools and Algorithms for the Construction and Analysis of Systems ; Lecture Notes in Computer Science ; page 311-330 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031572456 9783031572463

الاتاحة: http://dx.doi.org/10.1007/978-3-031-57246-3_17
https://link.springer.com/content/pdf/10.1007/978-3-031-57246-3_17

المؤلفون: Mann, Makai, Wilson, Amalee, Tinelli, Cesare, Barrett, Clark

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2007.01374

المؤلفون: Baader, Franz, Ghilardi, Silvio, Tinelli, Cesare

مصطلحات موضوعية: boolean algebra, modal logic, description logic, decidability, Boolesche Algebra, Modallogik, Beschreibungslogik, Entscheidbarkeit, info:eu-repo/classification/ddc/004, ddc:004

Relation: urn:nbn:de:bsz:14-qucosa2-785040; qucosa:78504

الاتاحة: https://tud.qucosa.de/id/qucosa%3A79057
https://tud.qucosa.de/api/qucosa%3A79057/attachment/ATT-0/

المؤلفون: Baader, Franz, Tinelli, Cesare

مصطلحات موضوعية: Description Logic, Optimal Repair, Quantified ABox, info:eu-repo/classification/ddc/004, ddc:004

Relation: urn:nbn:de:bsz:14-qucosa2-785040; qucosa:78504

الاتاحة: https://tud.qucosa.de/id/qucosa%3A78806
https://tud.qucosa.de/api/qucosa%3A78806/attachment/ATT-0/

المؤلفون: Ekici, Burak, Viswanathan, Arjun, Zohar, Yoni, Barrett, Clark, Tinelli, Cesare

المصدر: EPTCS 301, 2019, pp. 18-26

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1908.09478

المؤلفون: Reynolds, Andrew, Barbosa, Haniel, Nötzli, Andres, Barrett, Clark, Tinelli, Cesare

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1907.10175

المؤلفون: Niemetz, Aina, Preiner, Mathias, Reynolds, Andrew, Zohar, Yoni, Barrett, Clark, Tinelli, Cesare

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1905.10434

المؤلفون: Bonacina, Maria Paola, Fontaine, Pascal, Ringeissen, Christophe, Tinelli, Cesare

المصدر: Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, 57-89 (2019)

مصطلحات موضوعية: Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques

Relation: https://doi.org/10.1007/978-3-030-22102-7_3

URL الوصول: https://orbi.uliege.be/handle/2268/256528

المؤلفون: Barrett, Clark, Barbosa, Haniel, Brain, Martin, Ibeling, Duligur, King, Tim, Meng, Paul, Niemetz, Aina, Nötzli, Andres, Preiner, Mathias, Reynolds, Andrew, Tinelli, Cesare

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1806.08775

المؤلفون: Niemetz, Aina, Preiner, Mathias, Reynolds, Andrew, Barrett, Clark, Tinelli, Cesare

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1804.05025

المساهمون: Pientka, Brigitte, Tinelli, Cesare

مصطلحات موضوعية: artificial intelligence, automata theory, Boolean functions, formal languages, formal logic, model checking, software engineering, automated theorem proving, software verification, logic programming, automated reasoning, automated deduction, propositional satisfiability, constraint solving, computer algebra, satisfiability modulo theories, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering

وصف الملف: application/pdf

Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence

URL الوصول: https://library.oapen.org/handle/20.500.12657/76245