Francesco Donini and Logic - Free people check

(1 - 11 from 13

)

Handbook of Modal Logic - Google Books

books.google.de

Francesco Donini. Complexity of reasoning. In [12], pages 96– Francesco M. Donini, Bernhard Hollunder, Maurizio Lenzerini, Alberto Marchetti ...

Logic for Programming, Artificial Intelligence, and Reasoning: 11th...

books.google.de

... Stéphanie Delaune Francesco Donini Roy Dyckhoff Maribel Fernandez Jean Goubault-Larrecq Tim Griffin Keijo Heljanko Ullrich Hustadt Giovambattista Ianni ...

dl.kr.org

Ernesto Compatengenlo, Francesco Donini, Giovanni Rumolo . Classifying Description Logics. Natasha Kurtonina, Maarten de Rijke . Applying DL in Automatic Dialogue Interpreting

A Description Logic for Image Retrieval | SpringerLink

link.springer.com

We present a simple description logic for semantic indexing in image retrieval. The language allows to describe complex shapes as composition of more simple...

All web results to the name "Francesco Donini"

(PDF) Reasoning in description logics | Francesco M Donini -...

www.academia.edu

By Francesco M Donini in Automated Deduction and Theorem-Proving, Tableaux, Logic.

A Description Logic Based Approach for Matching User Profiles

www.inf.unibz.it

A Description Logic Based Approach for Matching User Profiles. Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, and Francesco M. Donini.

as web page

www.ida.liu.se

Moderated by Francesco Donini. Laurent Chaudron and Nicolas Maille. 1st Order Logic Formal Concept Analysis: From Logic Programming to Theory ...

AiML: Tools

www.cs.man.ac.uk

Implemented by Simon Richards and Mehrnoosh Sadrzadeh. BLIKSEM - Hans de Nivelle's resolution based theorem prover for modal logic and first-order logic with equality.

Description Logic Markup Language

co4.inrialpes.fr

Francesco Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Reasoning in description logics, in: Gerd Brewka (ed.), Principles of knowledge representation, CSLI lecture ...

DL'97 (1997 International Workshop on Description Logics)

dl.kr.org

Francesco Donini Dipartimento di Informatica e Sistemistica Università di Roma "La Sapienza" Via Salaria 113, I Roma, Italy .it

AiML: Tools

www.aiml.net

BLIKSEM - Hans de Nivelle's resolution based theorem prover for modal logic and first-order logic with ... Generators - implemented in C by Fabio Massacci and Francesco Donini. ...

Related search requests for Francesco Donini

Vincenzo Bartelli
Daniele Nardi
Werner Nutt

Alberto Marchetti
Maurizio Lenzerini
Margherita Angioni

Bernhard Hollunder
Andrea Schaerf
Mille Modi

Person "Donini" (1)
Forename "Francesco" (18415)
Name "Donini" (250)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Francesco Donini and Logic Free People Check