×

Found 87 Documents (Results 1–87)

Newest Citations Relevance
Duret-Lutz, Alexandre; Renault, Etienne; Colange, Maximilien; Renkin, Florian; Gbaguidi Aisse, Alexandre; Schlehuber-Caissier, Philipp; Medioni, Thomas; Martin, Antoine; Dubois, Jérôme; Gillard, Clément; Lauko, Henrich

From Spot 2.0 to Spot 2.10: what’s new? (English) Zbl 1514.68128

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 174-187 (2022).
MSC:  68Q60 03B44 68Q45
Cite Review PDF
Full Text: DOI arXiv
OA License
Li, Yong; Turrini, Andrea; Feng, Weizhi; Vardi, Moshe Y.; Zhang, Lijun

Divide-and-conquer determinization of Büchi automata based on SCC decomposition. (English) Zbl 1514.68108

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 152-173 (2022).
MSC:  68Q45
Cite Review PDF
Full Text: DOI arXiv
OA License
Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano

Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis. (English) Zbl 1522.68302

Calinescu, Radu (ed.) et al., Software engineering and formal methods. 19th international conference, SEFM 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13085, 351-371 (2021).
MSC:  68Q60 03B44
Cite Review PDF
Full Text: DOI
Elstermann, Matthes; Wolski, André; Fleischmann, Albert; Stary, Christian; Borgert, Stephan

The combined use of the web ontology language (OWL) and abstract state machines (ASM) for the definition of a specification language for business processes. (English) Zbl 07495065

Raschke, Alexander (ed.) et al., Logic, computation and rigorous methods. Essays dedicated to Egon Börger on the occasion of his 75th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12750, 283-300 (2021).
MSC:  68-XX 03-XX
Cite Review PDF
Full Text: DOI
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik

Good-for-MDPs automata for probabilistic analysis and reinforcement learning. (English) Zbl 1507.68167

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12078, 306-323 (2020).
MSC:  68Q45 90C40
Cite Review PDF
Full Text: DOI arXiv
OA License
Nguyen, Thu Huong; Tettamanzi, Andrea G. B.

Using grammar-based genetic programming for mining disjointness axioms involving complex class expressions. (English) Zbl 1476.68237

Alam, Mehwish (ed.) et al., Ontologies and concepts in mind and machine. 25th international conference on conceptual structures, ICCS 2020, Bolzano, Italy, September 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12277, 18-32 (2020).
MSC:  68T05 68Q42 68T30 68W50
Cite Review PDF
Full Text: DOI HAL
Blahoudek, František; Duret-Lutz, Alexandre; Strejček, Jan

Seminator 2 can complement generalized Büchi automata via improved semi-determinization. (English) Zbl 1478.68120

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 15-27 (2020).
MSC:  68Q45 68-04
Cite Review PDF
Full Text: DOI
OA License
Chortaras, Alexandros; Trivela, Despoina; Stamou, Giorgos

Optimized query rewriting for OWL 2 QL. (English) Zbl 1341.68223

Bjørner, Nikolaj (ed.) et al., Automated deduction – CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 – August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk; 978-3-642-22438-6/ebook). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 192-206 (2011).
MSC:  68T30 68T15 68T27
Cite Review PDF
Full Text: DOI
Miron, Alina Dia; Gensel, Jérôme; Villanova-Oliver, Marlène

Semantic analysis for the geospatial semantic web. (English) Zbl 1202.68058

Guillet, F. (ed.) et al., Advances in knowledge discovery and management. Selected papers based on the presentations at the “Extraction et gestion des connaissances” conference 2009 (EGC), Strasbourg, France, January 2009. Berlin: Springer (ISBN 978-3-642-00579-4/hbk). Studies in Computational Intelligence 292, 287-306 (2010).
MSC:  68M11 68T05
Cite Review PDF
Full Text: DOI
Xu, Zhuoming; Ni, Yuyan; Lin, Lili; Gu, Huajian

A semantics-preserving approach for extracting OWL ontologies from UML class diagrams. (English) Zbl 1186.68399

Ślęzak, Dominik (ed.) et al., Database theory and application. International conference, DTA 2009, held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10582-1/pbk; 978-3-642-10583-8/ebook). Communications in Computer and Information Science 64, 122-136 (2009).
MSC:  68T05 68M11
Cite Review PDF
Full Text: DOI
Görz, Günther

“Generics and defaults”. On the technical treatment of conceptual systems, standard suppositions and exceptions. (“Generics and defaults”. Zum technischen Umgang mit Begriffssystemen, Standardannahmen und Ausnahmen.) (German) Zbl 1170.03312

Bernhard, Peter (ed.) et al., Methodisches Denken im Kontext. Festschrift für Christian Thiel. Mit einem unveröffentlichten Brief Gottlob Freges. Paderborn: mentis Verlag (ISBN 978-3-89785-594-6/pbk). 383-401 (2008).
MSC:  03A05 68T27 68T30
Cite Review PDF
d’Aquin, Mathieu; Lieber, Jean; Napoli, Amedeo

Case-based reasoning within semantic web technologies. (English) Zbl 1158.68506

Euzenat, Jérôme (ed.) et al., Artificial intelligence: Methodology, systems, and applications. 12th international conference, AIMSA 2006, Varna, Bulgaria, September 12–15, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-40930-4/pbk). Lecture Notes in Computer Science 4183. Lecture Notes in Artificial Intelligence, 190-200 (2006).
MSC:  68T30 68T27 92C50
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software