13 hasil untuk "Hitzler, Pascal"

Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion

Hitzler, Pascal

arXiv · 2004 · Inggris · arXiv

The fixpoint completion fix(P) of a normal logic program P is a program transformation such that the stable models of P are exactly the models of the Clark completion of fix(P). This is well-known and was studied by Dung and Kanchanasut (1989). The correspondence, however, goes much further: The…

Default reasoning over domains and concept hierarchies

Hitzler, Pascal

arXiv · 2004 · Inggris · arXiv

W.C. Rounds and G.-Q. Zhang (2001) have proposed to study a form of disjunctive logic programming generalized to algebraic domains. This system allows reasoning with information which is hierarchically structured and forms a (suitable) domain. We extend this framework to include reasoning with…

Towards a Systematic Account of Different Semantics for Logic Programs

Hitzler, Pascal

arXiv · 2005 · Inggris · arXiv

In [Hitzler and Wendt 2002, 2005], a new methodology has been proposed which allows to derive uniform characterizations of different declarative semantics for logic programs with negation. One result from this work is that the well-founded semantics can formally be understood as a stratified…

Modular Graphical Ontology Engineering Evaluated

Shimizu, Cogan; Hammar, Karl; Hitzler, Pascal

The Semantic Web · 2020 · Inggris · PubMed Central

Ontology engineering is traditionally a complex and time-consuming process, requiring an intimate knowledge of description logic and predicting non-local effects of different ontological commitments. Pattern-based modular ontology engineering, coupled with a graphical modeling paradigm, can help…

A uniform approach to logic programming semantics

Hitzler, Pascal; Wendt, Matthias

arXiv · 2002 · Inggris · arXiv

Part of the theory of logic programming and nonmonotonic reasoning concerns the study of fixed-point semantics for these paradigms. Several different semantics have been proposed during the last two decades, and some have been more successful and acknowledged than others. The rationales behind…

Formal Concept Analysis and Resolution in Algebraic Domains

Hitzler, Pascal; Wendt, Matthias

arXiv · 2003 · Inggris · arXiv

We relate two formerly independent areas: Formal concept analysis and logic of domains. We will establish a correspondene between contextual attribute logic on formal contexts resp. concept lattices and a clausal logic on coherent algebraic cpos. We show how to identify the notion of formal concept…

The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence

Bader, Sebastian; Hitzler, Pascal; Hoelldobler, Steffen

arXiv · 2004 · Inggris · arXiv

Intelligent systems based on first-order logic on the one hand, and on artificial neural networks (also called connectionist systems) on the other, differ substantially. It would be very desirable to combine the robust neural networking machinery with symbolic knowledge representation and reasoning…

Provenance Context Entity (PaCE): Scalable Provenance Tracking for Scientific RDF Data

Sahoo, Satya S.; Bodenreider, Olivier; Hitzler, Pascal dkk.

Sci Stat Database Manag · 2010 · Inggris · PubMed Central

The Resource Description Framework (RDF) format is being used by a large number of scientific applications to store and disseminate their datasets. The provenance information, describing the source or lineage of the datasets, is playing an increasingly significant role in ensuring data quality…

Neuro-symbolic approaches in artificial intelligence

Hitzler, Pascal; Eberhart, Aaron; Ebrahimi, Monireh dkk.

Natl Sci Rev · 2022 · Inggris · PubMed Central

Mathematical Aspects of Logic Programming Semantics

Hitzler, Pascal; Seda, Anthony

Taylor & Francis · 2010 · Inggris · OAPEN

Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from…

Juga tersedia di: OAPEN

Multimodal mental health analysis in social media

Yazdavar, Amir Hossein; Mahdavinejad, Mohammad Saeid; Bajaj, Goonmeet dkk.

PLoS One · 2020 · Inggris · PubMed Central

Depression is a major public health concern in the U.S. and globally. While successful early identification and treatment can lead to many positive health and behavioral outcomes, depression, remains undiagnosed, untreated or undertreated due to several reasons, including denial of the illness as…

Special issue on commonsense reasoning for the semantic web

van Harmelen, Frank; Herzig, Andreas; Hitzler, Pascal dkk.

Springer · 2010 · Inggris · HAL

International audience