Jørgen Fischer Nilsson

Proceedings of the Flexible Query Answering Systems - 15th International Conference, 2023

2021

Realization of a Natural Logic in a Database System.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems - 14th International Conference, 2021

2020

A Cube of Opposition for Predicate Logic.

[BibT_eX]

[DOI]

Logica Universalis, 2020

Natural logic knowledge bases and their graph form.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2020

On the Design of a Natural Logic System for Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems - 25th International Symposium, 2020

A Natural Logic System for Large Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Information Modelling and Knowledge Bases XXXII, 2020

2019

Deductive Querying of Natural Logic Bases.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems - 13th International Conference, 2019

2018

A Process Calculus for Design and Modeling of Retro-Synthesis.

[BibT_eX]

[DOI]

Gabriel Broholm

Maliina B. S. Hammeken

Marcus Skov Hansen

Alexander Juhl

Marc Storm Larsen

Thomas M. Pethick

Magnus Gether Sørensen

Proceedings of the Information Modelling and Knowledge Bases XXX, 2018

2017

Pathway Computation in Models Derived from Bio-Science Text Sources.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems - 23rd International Symposium, 2017

Querying Natural Logic Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2017

2016

On the Relationship between a Computational Natural Logic and Natural Language.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

2015

A System for Conceptual Pathway Finding and Deductive Querying.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems 2015, 2015

2014

Computing Pathways in Bio-Models Derived from Bio-Science Text Sources.

[BibT_eX]

[DOI]

Proceedings of the International Work-Conference on Bioinformatics and Biomedical Engineering, 2014

A System for Computing Conceptual Pathways in Bio-medical Text Models.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems - 21st International Symposium, 2014

A Case for Embedded Natural Logic for Ontological Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the KEOD 2014, 2014

2013

Conceptual Pathway Querying of Natural Logic Knowledge Bases from Text Bases.

[BibT_eX]

[DOI]

Tine Lassen

Proceedings of the Flexible Query Answering Systems - 10th International Conference, 2013

IS-A Diversified.

[BibT_eX]

[DOI]

Proceedings of the Information Modelling and Knowledge Bases XXV, 2013

Diagrammatic Reasoning with Classes and Relationships.

[BibT_eX]

[DOI]

Proceedings of the Visual Reasoning with Diagrams, 2013

2011

Querying Class-Relationship Logic in a Metalogic Framework.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems - 9th International Conference, 2011

A Semantics-Based Approach to Retrieving Biomedical Information.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems - 9th International Conference, 2011

2009

SIABO - Semantic Information Access through Biomedical Ontologies.

[BibT_eX]

Bartlomiej Antoni Szymczak

Proceedings of the KEOD 2009 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Funchal, 2009

ONTOGRABBING: Extracting Information from Texts Using Generative Ontologies.

[BibT_eX]

[DOI]

Bartlomiej Antoni Szymczak

Proceedings of the Flexible Query Answering Systems, 8th International Conference, 2009

2008

On Reducing Relationships to Property Ascriptions.

[BibT_eX]

[DOI]

Proceedings of the Information Modelling and Knowledge Bases XX, 2008

A Common Framework for Board Games and Argumentation Games.

[BibT_eX]

[DOI]

Proceedings of the Information Modelling and Knowledge Bases XX, 2008

2007

Legal rules and argumentation in a metalogic framework.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2007

A rule-sceptic characterization of acceptable legal arguments.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Artificial Intelligence and Law, 2007

2006

Ontological Constitutions for Classes and Properties.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Inspiration and Application, 2006

2005

Argumentation as a metacognitive skill of passing acceptance.

[BibT_eX]

Proceedings of the 2005 AAAI Spring Symposium on Metacognition in Computation, 2005

A metalogical formalisation of legal argumentation as game trees with defeasible reasoning.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Artificial Intelligence and Law, 2005

2004

Grammatical specification of domain ontologies.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2004

Content-based text querying with ontological descriptors.

[BibT_eX]

[DOI]

Bolette Sandford Pedersen

Patrizia Paggio

Hanne Erdman Thomsen

Data Knowl. Eng., 2004

Synthesis of Programs in Computational Logic.

[BibT_eX]

[DOI]

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

2002

Ontological Extraction of Content for Text Querying.

[BibT_eX]

[DOI]

Bolette Sandford Pedersen

Patrizia Paggio

Hanne Erdman Thomsen

Proceedings of the Natural Language Processing and Information Systems, 2002

2001

Logic Program Synthesis as Problem Reduction Using Combining Forms.

[BibT_eX]

[DOI]

Nikolaj Oldager

Autom. Softw. Eng., 2001

2000

Ontology-Based Querying.

[BibT_eX]

[DOI]

Hanne Erdman Thomsen

Proceedings of the Flexible Query Answering Systems, 2000

1999

Conceptual Graphs as Algebras - With an Application to Analogical Reasoning.

[BibT_eX]

[DOI]

Torben Braüner

Anne Rasmussen

Proceedings of the Conceptual Structures: Standards and Practices, 1999

A Conceptual Space Logic.

[BibT_eX]

Proceedings of the Information Modelling and Knowledge Bases XI: 9th European-Japanese Conferences on Information Modelling and Knowledge Bases, 1999

1998

Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Synthesis and Transformation, 1998

Inducing Queries from Examples as Concept Formation.

[BibT_eX]

Hele-Mai Haav

Proceedings of the Information Modelling and Knowledge Bases X: 8th European-Japanese Conferences on Information Modelling and Knowledge Bases, 1998

1997

Towards a Logic Programming Methodology Based on Higher-Order Predicates.

[BibT_eX]

[DOI]

New Gener. Comput., 1997

1996

Declarative Logic Programming with Primitive Recursive Relations on Lists.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1996

Fuzzy Querying Using Concept Object Algebra.

[BibT_eX]

Henrik Legind Larsen

Proceedings of the Flexible Query-Answering Systems, 1996

1995

Constructing Logic Programs with Higher-Order Predicates.

[BibT_eX]

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Relational Data Base Model Simplified and Generalized As Algebraic Lattice with Attribution.

[BibT_eX]

Proceedings of the Flexible Query-Answering Systems, 1994

1992

Algorithmic & Knowledge Based Methods - Do they "Unify" ? With some Programme Remarks for UNU/IIST.

[BibT_eX]

Dines Bjørner

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Concept object algebra for knowledge bases.

[BibT_eX]

Proceedings of the CNKBS'92, 1992

1989

A Case Study in Knowledge Representation and Reasoning with Higher-Order Combinators.

[BibT_eX]

Proceedings of the Second Scandinavian Conference on Artificial Intelligence 1989, 1989

Knowledge Base Property Combinator Logic.

[BibT_eX]

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1984

Formal Vienna-Definition-Method Models of Prolog.

[BibT_eX]

Proceedings of the Implementations of Prolog. , 1984

1983

On the Compilation of a Domain-Based Prolog.

[BibT_eX]

Proceedings of the Information Processing 83, 1983

1982

Grammatical Unification.

[BibT_eX]

[DOI]

Jan Maluszynski

Inf. Process. Lett., 1982

A Comparison of the Logic Programming Language Prolog with Two-levels Grammars.

[BibT_eX]

Jan Maluszynski

Proceedings of the First International Logic Programming Conference, 1982

1979

An Access Specification Language for a Relational Data Base System.

[BibT_eX]

[DOI]

Raymond A. Lorie