Pascal Hitzler
Orcid: 0000-0001-6192-3472Affiliations:
- Kansas State University, USA
- Wright State University (former)
According to our database1,
Pascal Hitzler
authored at least 322 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
On the Psychology of GPT-4: Moderately anxious, slightly masculine, honest, and humble.
CoRR, 2024
2023
Towards human-compatible XAI: Explaining data differentials with concept induction over background knowledge.
J. Web Semant., December, 2023
J. Log. Comput., January, 2023
Understanding CNN Hidden Neuron Activations Using Structured Background Knowledge and Deductive Reasoning.
CoRR, 2023
CoRR, 2023
Sustainable Grain Transportation in Ukraine Amidst War Utilizing KNARM and KnowWhereGraph.
Proceedings of the Companion Proceedings of the ACM Web Conference 2023, 2023
The First International Workshop on Knowledge Graphs for Sustainability - KG4S Foreword.
Proceedings of the Companion Proceedings of the ACM Web Conference 2023, 2023
Proceedings of the 14th Workshop on Ontology Design and Patterns (WOP 2023) co-located with the 22nd International Semantic Web Conference (ISWC 2023), 2023
Proceedings of the Semantic Web - ISWC 2023, 2023
Proceedings of the 18th International Workshop on Ontology Matching co-located with the 22nd International Semantic Web Conference (ISWC 2023), 2023
Proceedings of the Knowledge Graphs and Semantic Web, 2023
Proceedings of the Knowledge Graphs and Semantic Web, 2023
Proceedings of the Knowledge Graphs and Semantic Web, 2023
Proceedings of the Joint Ontology Workshops 2023 Episode IX: The Quebec Summer of Ontology co-located with the 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), 2023
Proceedings of the Joint Ontology Workshops 2023 Episode IX: The Quebec Summer of Ontology co-located with the 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), 2023
Proceedings of the Joint Ontology Workshops 2023 Episode IX: The Quebec Summer of Ontology co-located with the 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), 2023
2022
Neural Fuzzy Extractors: A Secure Way to Use Artificial Neural Networks for Biometric User Authentication.
Proc. Priv. Enhancing Technol., 2022
Ontology Design Facilitating Wikibase Integration - and a Worked Example for Historical Data.
CoRR, 2022
Know, Know Where, Knowwheregraph: A Densely Connected, Cross-Domain Knowledge Graph and Geo-Enrichment Service Stack for Applications in Environmental Intelligence.
AI Mag., 2022
Proceedings of the 13th Workshop on Ontology Design and Patterns (WOP 2022) co-located with the 21th International Semantic Web Conference (ISWC 2022), 2022
Proceedings of the 13th Workshop on Ontology Design and Patterns (WOP 2022) co-located with the 21th International Semantic Web Conference (ISWC 2022), 2022
Proceedings of the Joint Proceedings of SemREC 2022 and SMART 2022 co-located with 21st International Semantic Web Conference (ISWC 2022), 2022
Knowledge explorer: exploring the 12-billion-statement KnowWhereGraph using faceted search (demo paper).
Proceedings of the 30th International Conference on Advances in Geographic Information Systems, 2022
Proceedings of the Semantic Web - 19th International Conference, 2022
Proceedings of the ECML/PKDD Workshop on Meta-Knowledge Transfer, 2022
2021
Proceedings of the Neuro-Symbolic Artificial Intelligence: The State of the Art, 2021
Appl. Intell., 2021
Proceedings of the ISWC 2021 Posters, 2021
Proceedings of the ISWC 2021 Posters, 2021
Proceedings of the 16th International Workshop on Ontology Matching co-located with the 20th International Semantic Web Conference (ISWC 2021), 2021
Proceedings of the Advances in Pattern-Based Ontology Engineering, 2021
Proceedings of the Knowledge Graphs and Semantic Web, 2021
Proceedings of the IJCKG'21: The 10th International Joint Conference on Knowledge Graphs, Virtual Event, Thailand, December 6, 2021
SOSA-SHACL: Shapes Constraint for the Sensor, Observation, Sample, and Actuator Ontology.
Proceedings of the IJCKG'21: The 10th International Joint Conference on Knowledge Graphs, Virtual Event, Thailand, December 6, 2021
Proceedings of the SIGSPATIAL '21: 29th International Conference on Advances in Geographic Information Systems, 2021
Proceedings of the Semantic Web - 18th International Conference, 2021
Proceedings of the AAAI 2021 Spring Symposium on Combining Machine Learning and Knowledge Engineering (AAAI-MAKE 2021), 2021
2020
Proceedings of the Applications and Practices in Ontology Design, 2020
Data Intell., 2020
Neural Fuzzy Extractors: A Secure Way to Use Artificial Neural Networks for Biometric User Authentication.
CoRR, 2020
Appl. Ontology, 2020
Proceedings of the 15th International Workshop on Ontology Matching co-located with the 19th International Semantic Web Conference (ISWC 2020), 2020
Proceedings of the 15th International Workshop on Ontology Matching co-located with the 19th International Semantic Web Conference (ISWC 2020), 2020
Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), 2020
Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), 2020
Proceedings of the Knowledge Graphs and Semantic Web, 2020
Proceedings of the Knowledge Graphs and Semantic Web, 2020
Proceedings of the Semantic Web - 17th International Conference, 2020
The Enslaved Dataset: A Real-world Complex Ontology Alignment Benchmark using Wikibase.
Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020
GeoLink Cruises: A Non-Synthetic Benchmark for Co-Reference Resolution on Knowledge Graphs.
Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020
CSSA'20: Workshop on Combining Symbolic and Sub-Symbolic Methods and their Applications.
Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020
Proceedings of the AAAI 2020 Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice, 2020
2019
Proceedings of the 14th International Workshop on Ontology Matching co-located with the 18th International Semantic Web Conference (ISWC 2019), 2019
Proceedings of the 10th Workshop on Ontology Design and Patterns (WOP 2019) co-located with 18th International Semantic Web Conference (ISWC 2019), 2019
Proceedings of the 10th Workshop on Ontology Design and Patterns (WOP 2019) co-located with 18th International Semantic Web Conference (ISWC 2019), 2019
Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019
Proceedings of the Knowledge Graphs and Semantic Web - First Iberoamerican Conference, 2019
Proceedings of the Semantic Technology - 9th Joint International Conference, 2019
Proceedings of the AAAI 2019 Spring Symposium on Combining Machine Learning with Knowledge Engineering (AAAI-MAKE 2019) Stanford University, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Proceedings of the Encyclopedia of Social Network Analysis and Mining, 2nd Edition, 2018
Proceedings of the Encyclopedia of Social Network Analysis and Mining, 2nd Edition, 2018
On the quality of vocabularies for linked dataset papers published in the Semantic Web journal.
Semantic Web, 2018
On the prospects of blockchain and distributed ledger technologies for open science and academic publishing.
Semantic Web, 2018
A Tutorial on Modular Ontology Modeling with Ontology Design Patterns: The Cooking Recipes Ontology.
CoRR, 2018
CoRR, 2018
Proceedings of the Semantic Web - ISWC 2018, 2018
Proceedings of the 9th Workshop on Ontology Design and Patterns (WOP 2018) co-located with 17th International Semantic Web Conference (ISWC 2018), 2018
Proceedings of the Graph-Based Representation and Reasoning, 2018
Proceedings of the Formal Ontology in Information Systems, 2018
Proceedings of the Semantic Web: ESWC 2018 Satellite Events, 2018
Proceedings of the Semantic Web: ESWC 2018 Satellite Events, 2018
2017
Semantic Web, 2017
Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017), 2017
Computational Environment: An ODP to Support Finding and Recreating Computational Analyses.
Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017), 2017
Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017), 2017
Proceedings of the Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017
Proceedings of the Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017
Proceedings of the Semantic Web: ESWC 2017 Satellite Events - ESWC 2017 Satellite Events, Portorož, Slovenia, May 28, 2017
Proceedings of the Semantic Web - 14th International Conference, 2017
2016
Linked Dataset description papers at the Semantic Web journal: A critical assessment.
Semantic Web, 2016
Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016
Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016
Proceedings of the Advances in Ontology Design and Patterns [revised and extended versions of the papers presented at the 7th edition of the Workshop on Ontology and Semantic Web Patterns, 2016
Proceedings of the Advances in Ontology Design and Patterns [revised and extended versions of the papers presented at the 7th edition of the Workshop on Ontology and Semantic Web Patterns, 2016
Proceedings of the Advances in Ontology Design and Patterns [revised and extended versions of the papers presented at the 7th edition of the Workshop on Ontology and Semantic Web Patterns, 2016
Proceedings of the Advances in Ontology Design and Patterns [revised and extended versions of the papers presented at the 7th edition of the Workshop on Ontology and Semantic Web Patterns, 2016
Proceedings of the Semantic Web - ISWC 2016, 2016
Proceedings of the Semantic Web - ISWC 2016, 2016
Proceedings of the Web Technologies and Applications - 18th Asia-Pacific Web Conference, 2016
Proceedings of the Ontology Engineering with Ontology Design Patterns, 2016
Proceedings of the Ontology Engineering with Ontology Design Patterns, 2016
Proceedings of the Ontology Engineering with Ontology Design Patterns, 2016
Proceedings of the Ontology Engineering with Ontology Design Patterns, 2016
2015
Proceedings of the 1st International Diversity++ Workshop co-located with the 14th International Semantic Web Conference (ISWC 2015), 2015
Proceedings of the Semantic Web - ISWC 2015, 2015
Proceedings of the 6th International Workshop on Consuming Linked Data (COLD 2015) co-located with 14th International Semantic Web Conference (ISWC 2015), 2015
Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), 2015
Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), 2015
Proceedings of the ISWC 2015 Posters & Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC-2015), 2015
Proceedings of the Semantic Web - ISWC 2015, 2015
Proceedings of the 1st International Diversity++ Workshop co-located with the 14th International Semantic Web Conference (ISWC 2015), 2015
Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), 2015
Proceedings of the ISWC 2015 Posters & Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC-2015), 2015
Proceedings of the 1st International Diversity++ Workshop co-located with the 14th International Semantic Web Conference (ISWC 2015), 2015
Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), 2015
Proceedings of the Ontology Engineering, 2015
On the Capabilities and Limitations of OWL Regarding Typecasting and Ontology Design Pattern Views.
Proceedings of the Ontology Engineering, 2015
Proceedings of the Semantic Technology - 5th Joint International Conference, 2015
Proceedings of the Semantic Web. Latest Advances and New Domains, 2015
Proceedings of the 2015 AAAI Spring Symposia, 2015
Ontology Pattern Modeling for Cross-Repository Data Integration in the Ocean Sciences: The Oceanographic Cruise Example.
Proceedings of the Semantic Web in Earth and Space Science. Current Status and Future Directions, 2015
2014
Encyclopedia of Social Network Analysis and Mining, 2014
Dagstuhl Reports, 2014
Appl. Ontology, 2014
Proceedings of the 5th Workshop on Ontology and Semantic Web Patterns (WOP2014) co-located with the 13th International Semantic Web Conference (ISWC 2014), 2014
Proceedings of the 5th Workshop on Ontology and Semantic Web Patterns (WOP2014) co-located with the 13th International Semantic Web Conference (ISWC 2014), 2014
Proceedings of the ISWC Developers Workshop 2014, 2014
Proceedings of the 10th International Workshop on Scalable Semantic Web Knowledge Base Systems co-located with 13th International Semantic Web Conference (ISWC 2014), 2014
Proceedings of the 9th International Workshop on Ontology Matching collocated with the 13th International Semantic Web Conference (ISWC 2014), 2014
Proceedings of the Semantic Web - ISWC 2014, 2014
Proceedings of the Semantic Web - ISWC 2014, 2014
Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), 2014
Proceedings of the Semantic Technology - 4th Joint International Conference, 2014
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014
Proceedings of the 2014 IEEE International Conference on Big Data (IEEE BigData 2014), 2014
Semantic Web.
Proceedings of the Computing Handbook, 2014
2013
Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Web Intelligence, 2013
Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013
Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013
Proceedings of the 9th International Workshop on Scalable Semantic Web Knowledge Base Systems, 2013
Linked Scientometrics: Designing Interactive Scientometrics with Linked Data and Semantic Web Reasoning.
Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013
Proceedings of the Semantic Web - ISWC 2013, 2013
Proceedings of the 8th International Workshop on Ontology Matching co-located with the 12th International Semantic Web Conference (ISWC 2013), 2013
Proceedings of the Semantic Web - ISWC 2013, 2013
Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas.
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013
Proceedings of the Semantic Web: Semantics and Big Data, 10th International Conference, 2013
Proceedings of the Semantic Web: Semantics and Big Data, 10th International Conference, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
Proceedings of the Spatial Information Theory - 11th International Conference, 2013
Thoughts on the complex relation between linked data, semantic annotations, and ontologies.
Proceedings of the ESAIR'13, 2013
Proceedings of the 2013 AAAI Fall Symposia, Arlington, Virginia, USA, November 15-17, 2013, 2013
Proceedings of the 2013 AAAI Fall Symposia, Arlington, Virginia, USA, November 15-17, 2013, 2013
2012
Learn. Publ., 2012
Dagstuhl Reports, 2012
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
Log. Methods Comput. Sci., 2012
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012
Proceedings of OWL: Experiences and Directions Workshop 2012, 2012
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012
Proceedings of the 23rd ACM Conference on Hypertext and Social Media, 2012
Proceedings of the SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), 2012
Proceedings of the Semantic Web: Research and Applications, 2012
Proceedings of the Advances in Conceptual Modeling, 2012
Proceedings of the ECAI 2012, 2012
Proceedings of the ECAI 2012, 2012
Proceedings of the Semantic Web and Web Science, 2012
Proceedings of the Semantic Technology, Second Joint International Conference, 2012
2011
J. Log. Comput., 2011
Local closed world reasoning with description logics under the well-founded semantics.
Artif. Intell., 2011
Proceedings of the 20th International Conference on World Wide Web, 2011
Proceedings of the Semantic Web - ISWC 2011, 2011
Proceedings of the Reasoning Web. Semantic Technologies for the Web of Data, 2011
Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011
Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011
Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011), 2011
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011 Workshops, 2011
Proceedings of the Formal Concept Analysis - 9th International Conference, 2011
Contextual Ontology Alignment of LOD with an Upper Ontology: A Case Study with Proton.
Proceedings of the Semantic Web: Research and Applications, 2011
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011
Chapman and Hall / CRC studies in informatics series, CRC Press, ISBN: 978-1-439-82961-5, 2011
2010
Mach. Learn., 2010
Int. J. Softw. Informatics, 2010
Log. J. IGPL, 2010
Appl. Intell., 2010
Ann. Math. Artif. Intell., 2010
Provenance Context Entity (PaCE): Scalable Provenance Tracking for Scientific RDF Data.
Proceedings of the Scientific and Statistical Database Management, 2010
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010
Proceedings of the 5th International Workshop on Ontology Matching (OM-2010), 2010
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010
Proceedings of the Database and Expert Systems Applications, 21st International Conference, 2010
Proceedings of the Learning paradigms in dynamic environments, 25.07. - 30.07.2010, 2010
Proceedings of the Learning paradigms in dynamic environments, 25.07. - 30.07.2010, 2010
Proceedings of the Linked Data Meets Artificial Intelligence, 2010
Chapman and Hall/CRC Press, ISBN: 9781420090505, 2010
2009
Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009
Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009
A Preferential Tableaux Calculus for Circumscriptive <i>A</i><i>LCO</i>{\mathcal ALCO}.
Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009
Proceedings of the Knowledge Science, 2009
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009
Proceedings of the GeoSpatial Semantics, Third International Conference, 2009
Proceedings of the Semantic Web: Research and Applications, 2009
2008
Proceedings of the Ontology Learning and Population: Bridging the Gap between Text and Knowledge, 2008
Proceedings of the Workshop on Ontologies: Reasoning and Modularity, 2008
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008
Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008
Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008
Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008
Proceedings of the ECAI 2008, 2008
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008
08041 Abstracts Collection -- Recurrent Neural Networks - Models, Capacities, and Applications.
Proceedings of the Recurrent Neural Networks - Models, Capacities, and Applications, 20.01., 2008
Proceedings of the Recurrent Neural Networks - Models, Capacities, and Applications, 20.01., 2008
Proceedings of the Logic and Probability for Scene Interpretation, 24.02. - 29.02.2008, 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Proceedings of the Perspectives of Neural-Symbolic Integration, 2007
DOLCE ergo SUMO: On foundational and domain models in the SmartWeb Integrated Ontology (SWIntO).
J. Web Semant., 2007
Int. J. Electron. Commer., 2007
Proceedings of the Semantic Web, 2007
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007
Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007
Proceedings of the Foundations of Artificial Intelligence FAInt 2007, 2007
Proceedings of the Foundations of Artificial Intelligence FAInt 2007, 2007
Proceedings of the Inductive Logic Programming, 17th International Conference, 2007
Proceedings of the Inductive Logic Programming, 17th International Conference, 2007
Proceedings of the 3rd International Workshop on Neural-Symbolic Learning and Reasoning, 2007
Proceedings of the IJCAI 2007, 2007
Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007
Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007
Proceedings of the Semantic Web: Research and Applications, 2007
Proceedings of the Semantic Web: Research and Applications, 2007
Proceedings of the Progress in Artificial Intelligence, 2007
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Fundam. Informaticae, 2006
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2006
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006
Proceedings of the Conceptual Structures: Inspiration and Application, 2006
Proceedings of the Conceptual Structures: Inspiration and Application, 2006
Proceedings of the Formal Ontology in Information Systems, 2006
Proceedings of the Semantic Web: Research and Applications, 2006
2005
J. Log. Comput., 2005
Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models
CoRR, 2005
Level Mapping Characterizations of Selector Generated Models for Logic Programs.
Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005
Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005
Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005
Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the Conceptual Structures: Common Semantics for Sharing Knowledge, 2005
Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005
Proceedings of the Principles and Practices of Semantic Web Reasoning, 2005
Proceedings of the Principles and Practices of Semantic Web Reasoning, 2005
Dimensions of Neural-symbolic Integration - A Structured Survey.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005
2004
Logic programs, iterated function systems, and recurrent radial basis function networks.
J. Appl. Log., 2004
The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
CoRR, 2004
Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion
CoRR, 2004
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004
Proceedings of the Conceptual Structures at Work: 12th International Conference on Conceptual Structures, 2004
2003
Theor. Comput. Sci., 2003
Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks.
Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003
Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003
2002
Proceedings of the KI 2002: Advances in Artificial Intelligence, 2002
2001
Proceedings of the 5th Irish Workshop on Formal Methods, 2001
2000
Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000
Proceedings of the 4th Irish Workshop on Formal Methods, 2000
1999
Proceedings of the Workshop on Verification of Logic Programs 1999, 1999
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999
Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999
A Characterization of Acceptability.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999
1998
Proceedings of the 2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998, 1998