Adam Meissner

Follower

Following

Public Views

Joaquim Llisterri

Universitat Autònoma de Barcelona

Patricia Iuva

Universidade Federal de Santa Catarina - UFSC (Federal University of Santa Catarina)

George Christodoulides

Université de Mons

Sudhir K Shukla

Bhabha Atomic Research Centre

Ascan Koerner

University of Minnesota

Alaa Al-Charrakh

University of Babylon

João César Moura Mota

Universidade Federal do Ceará

Laura Siri

Universidad de Buenos Aires

Ryszard Tadeusiewicz

Polish Academy of Sciences

Michael Pepper

University of Pretoria

Interests

Uploads

Papers by Adam Meissner

Zrównoleglanie obliczeń w prostym systemie wnioskującym

Studia z Automatyki i Informatyki, 2006

T.: Schema- and Ontology-Based XML Data Exchange

Download

Control and Cybernetics

Control aspects of the blackboard agent architecture for a mobile robot 1 by

Download

Konstruowanie systemów wnioskujących klasy Lean dla logiki pierwszego rzędu

Wydawnictwo Politechniki Poznańskiej, 2016

The ALCN Description Logic Concept Satisfiability as a SAT Problem

ABSTRACT

A method involving constraint programming for generating integral graphs without ± 1 in the spectrum : a case study

$Research paper thumbnail of A Simple Parallel Reasoning System for the ALC\mathcal{ALC} Description Logic$

A Simple Parallel Reasoning System for the ALC\mathcal{ALC} Description Logic

International Conference on Computational Collective Intelligence, 2009

In this paper we present a simple, tableau-based, parallel reasoning system for the ALC\mathcal{A... more In this paper we present a simple, tableau-based, parallel reasoning system for the ALC\mathcal{ALC} description logic. The system is built in relational model in the Oz language and has a form of a short program comprising the implementation of tableau rules. The program can be executed according to various strategies, particularly in parallel on distributed machines. For this purpose, we

Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic

International Journal of Applied Mathematics and …, 2011

A computation rule determines the order of selecting premises during an inference process. In thi... more A computation rule determines the order of selecting premises during an inference process. In this paper we empirically analyse three particular computation rules in a tableau-based, parallel reasoning system for the ALC description logic, which is built in the relational programming model in the Oz language. The system is constructed in the lean deduction style, namely, it has the form of a small program containing only basic mechanisms, which assure soundness and completeness of reasoning. In consequence, the system can act as a convenient test-bed for comparing various inference algorithms and their elements. We take advantage of this property and evaluate the studied methods of selecting premises with regard to their efficiency and speedup, which can be obtained by parallel processing.

Download

$Research paper thumbnail of A Simple Parallel Reasoning System for the ALC\mathcal{ALC} Description Logic$

A Simple Parallel Reasoning System for the ALC\mathcal{ALC} Description Logic

In this paper we present a simple, tableau-based, parallel reasoning system for the $\mathcal{ALC... more In this paper we present a simple, tableau-based, parallel reasoning system for the $\mathcal{ALC}$ description logic. The system is built in relational model in the Oz language and has a form of a short program comprising the implementation of tableau rules. The program can be executed according to various strategies, particularly in parallel on distributed machines. For this purpose, we use a parallel search engine available in the Mozart environment. We describe results of experiments for estimating the speedup obtained by parallel processing.

A Parallel Deduction for Description Logics with ALC Language

ABSTRACT

Schema- and Ontology-Based XML Data Exchange in Semantic E-Business Applications

The problem of the semantics-preserving data transformations during their exchange by e-business ... more The problem of the semantics-preserving data transformations during their exchange by e-business applications is addressed. A method for automatic generation of schema mappings is proposed, which is based on the XML schema definition and the specification of the schema semantics via the relevant ontology. 1. Introduction The semantic e-business is considered as an approach to managing knowledge for the coordination of e-business processes through the application of Semantic Web technologies including ontologies, knowledge representation methods, and intelligent software agents [Singh 2005]. These technologies provide means to design collaborative and integrative, inter- and intra-organizational business processes founded on efficient exchange of data among trusted business partners. Such an approach opens up new possibilities of cooperation among business partners, where their offers can be comp ared, even complex negotiations can be conducted electronically, and a contract can be d...

Download

Computing the Irregularity Strength of Connected Graphs by Parallel Constraint Solving in the Mozart System

Parallel Processing and Applied Mathematics, 2007

In this paper we show how the problem of computing the irregularity strength of a graph can be ex... more In this paper we show how the problem of computing the irregularity strength of a graph can be expressed in terms of CP(FD) programming methodology and solved by parallel computations in the Mozart system. We formulate this problem as an optimization task and apply the branch-and-bound method and iterative best-solution search in order to solve it. Both of these approaches

Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language

Hellenic Conference on Artificial Intelligence, 2008

We present a method of adding parallel computations to a reasoning process based on the Prolog Te... more

A Simple Parallel Reasoning System for the ALC Description Logic

A Simple Parallel Reasoning System for the ALC mathcal{ALC} Description Logic

Iccci, 2009

Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic

International Journal of Applied Mathematics and Computer Science, 2011

Experimental analysis of some computation rules in a simple parallel reasoning system for theALCd... more Experimental analysis of some computation rules in a simple parallel reasoning system for theALCdescription logicA computation rule determines the order of selecting premises during an inference process. In this paper we empirically analyse three particular computation rules in a tableau-based, parallel reasoning system for theALCdescription logic, which is built in the relational programming model in the Oz language. The system is constructed in the lean deduction style, namely, it has the form of a small program containing only basic mechanisms, which assure soundness and completeness of reasoning. In consequence, the system can act as a convenient test-bed for comparing various inference algorithms and their elements. We take advantage of this property and evaluate the studied methods of selecting premises with regard to their efficiency and speedup, which can be obtained by parallel processing.

Download

$Research paper thumbnail of A Simple Parallel Reasoning System for the $\mathcal{ALC}$ Description Logic$

A Simple Parallel Reasoning System for the $\mathcal{ALC}$ Description Logic

Lecture Notes in Computer Science, 2009

A simple distributed reasoning system for the connection calculus

Vietnam Journal of Computer Science, 2014

We present a simple, distributed reasoning system for the first order logic, which applies a conn... more We present a simple, distributed reasoning system for the first order logic, which applies a connection calculus as an inference method. The calculus has been proposed by Bibel as a generalization of some other popular approaches, like the tableau calculus or the resolution-based inference. The system is constructed in a lean deduction style and it has been inspired to some extent by a sequential reasoner leanCoP, implemented in Prolog. Our reasoner has a form of a relational program in the Oz language. In this programming model, a computational strategy is a parameter of a program having a form of a special object called a search engine. Therefore, the same program can be run in various ways, particularly in parallel on distributed machines. For this purpose, we use a parallel search engine available on the Mozart platform, which is a programming environment for Oz. We also describe results of experiments for estimating a speedup obtained by the distributed processing.

Download

$Research paper thumbnail of The $\mathcal{ALCN}$ Description Logic Concept Satisfiability as a SAT Problem$

The $\mathcal{ALCN}$ Description Logic Concept Satisfiability as a SAT Problem

Studies in Computational Intelligence, 2011

ABSTRACT

Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language

Setn, 2008

We present a method of adding parallel computations to a reasoning process based on the Prolog Te... more

Zrównoleglanie obliczeń w prostym systemie wnioskującym

Studia z Automatyki i Informatyki, 2006

T.: Schema- and Ontology-Based XML Data Exchange

Download

Control and Cybernetics

Control aspects of the blackboard agent architecture for a mobile robot 1 by

Download

Konstruowanie systemów wnioskujących klasy Lean dla logiki pierwszego rzędu

Wydawnictwo Politechniki Poznańskiej, 2016

The ALCN Description Logic Concept Satisfiability as a SAT Problem

ABSTRACT

A method involving constraint programming for generating integral graphs without ± 1 in the spectrum : a case study

$Research paper thumbnail of A Simple Parallel Reasoning System for the ALC\mathcal{ALC} Description Logic$

A Simple Parallel Reasoning System for the ALC\mathcal{ALC} Description Logic

International Conference on Computational Collective Intelligence, 2009

Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic

International Journal of Applied Mathematics and …, 2011

Download

$Research paper thumbnail of A Simple Parallel Reasoning System for the ALC\mathcal{ALC} Description Logic$

A Simple Parallel Reasoning System for the ALC\mathcal{ALC} Description Logic

A Parallel Deduction for Description Logics with ALC Language

ABSTRACT

Schema- and Ontology-Based XML Data Exchange in Semantic E-Business Applications

Download

Computing the Irregularity Strength of Connected Graphs by Parallel Constraint Solving in the Mozart System

Parallel Processing and Applied Mathematics, 2007

Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language

Hellenic Conference on Artificial Intelligence, 2008

We present a method of adding parallel computations to a reasoning process based on the Prolog Te... more

A Simple Parallel Reasoning System for the ALC Description Logic

A Simple Parallel Reasoning System for the ALC mathcal{ALC} Description Logic

Iccci, 2009

Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic

International Journal of Applied Mathematics and Computer Science, 2011

Download

$Research paper thumbnail of A Simple Parallel Reasoning System for the $\mathcal{ALC}$ Description Logic$

A Simple Parallel Reasoning System for the $\mathcal{ALC}$ Description Logic

Lecture Notes in Computer Science, 2009

A simple distributed reasoning system for the connection calculus

Vietnam Journal of Computer Science, 2014

Download

$Research paper thumbnail of The $\mathcal{ALCN}$ Description Logic Concept Satisfiability as a SAT Problem$

The $\mathcal{ALCN}$ Description Logic Concept Satisfiability as a SAT Problem

Studies in Computational Intelligence, 2011

ABSTRACT

Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language

Setn, 2008

We present a method of adding parallel computations to a reasoning process based on the Prolog Te... more

Adam Meissner

Related Authors

Uploads

Papers by Adam Meissner

Log In