A Systematic Review of Automatic Question Generation for Educational Purposes von Kurdi, Ghader, Leo, Jared, Parsia, Bijan, Sattler, Uli, Al-Emari, Salam

Volltext

Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings von Sattler, Uli, Suda, Martin

Volltext

Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday von Lutz, Carsten, Sattler, Uli, Tinelli, Cesare, Turhan, Anni-Yasmin, Wolter, Frank

Volltext

Automatic Generation of Analogy Questions for Student Assessment: An Ontology-Based Approach von Alsubait, Tahani, Parsia, Bijan, Sattler, Uli

Volltext

Mining Hypotheses from Data in OWL: Advanced Evaluation and Complete Construction von Sazonau, Viachaslau, Sattler, Uli

Volltext

Principles of KLM-style Defeasible Description Logics von Britz, Katarina, Casini, Giovanni, Meyer, Thomas, Moodley, Kody, Sattler, Uli, Varzinczak, Ivan

Volltext

OWL Reasoning: Subsumption Test Hardness and Modularity von Matentzoglu, Nicolas, Parsia, Bijan, Sattler, Uli

Volltext

Modular Structures and Atomic Decomposition in Ontologies von Del Vescovo, Chiara, Horridge, Matthew, Parsia, Bijan, Sattler, Uli, Schneider, Thomas, Zhao, Haoruo

Volltext

Solving Non-linear Arithmetic von Jovanović, Dejan, de Moura, Leonardo

Volltext

Inprocessing Rules von Järvisalo, Matti, Heule, Marijn J. H., Biere, Armin

Volltext

δ-Complete Decision Procedures for Satisfiability over the Reals von Gao, Sicun, Avigad, Jeremy, Clarke, Edmund M.

Volltext

The Semantic Web - ISWC 2022: 21st International Semantic Web Conference, Virtual Event, October 23-27, 2022, Proceedings von Sattler, Ulrike, Hogan, Aidan, Keet, Maria, Presutti, Valentina, Almeida, João Paulo A, Takeda, Hideaki, Monnin, Pierre, Pirrò, Giuseppe, d'Amato, Claudia

Volltext

A systematic survey of temporal requirements of bio-health ontologies von Leo, Jared, Matentzoglu, Nicolas, Sattler, Uli, Parsia, Bijan

Volltext

From Model Completeness to Verification of Data Aware Processes von Calvanese, Diego, Ghilardi, Silvio, Gianola, Alessandro, Montali, Marco, Rivkin, Andrey

Volltext

OWL Reasoning: Subsumption Test Hardness and Modularity von Matentzoglu, Nicolas, Parsia, Bijan, Sattler, Uli

Volltext

A systematic survey of temporal requirements of bio-health ontologies von Leo, Jared, Matentzoglu, Nicolas, Sattler, Uli, Parsia, Bijan

Volltext

Theory Combination: Beyond Equality Sharing von Bonacina, Maria Paola, Fontaine, Pascal, Ringeissen, Christophe, Tinelli, Cesare

Volltext

Pseudo-contractions as Gentle Repairs von Matos, Vinícius Bitencourt, Guimarães, Ricardo, Santos, Yuri David, Wassermann, Renata

Volltext

Hierarchic Superposition Revisited von Baumgartner, Peter, Waldmann, Uwe

Volltext

15 Years of Consequence-Based Reasoning von Tena Cucala, David, Cuenca Grau, Bernardo, Horrocks, Ian

Volltext