Sciweavers

1916 search results - page 11 / 384

» Reasoning with class algebra

120

KR
1994
Springer

86views Automated Reasoning» more KR 1994»

A Unified Framework for Class-Based Representation Formalisms

15 years 10 months ago

A Unified Framework for Class-Based Representation Formalisms

Download www.inf.unibz.it

Diego Calvanese, Maurizio Lenzerini, Daniele Nardi

claim paper

Read More »

138

DLOG
2004

93views Automated Reasoning» more DLOG 2004»

Finite Satisfiability of UML Class Diagrams by Constraint Programming

15 years 7 months ago

Finite Satisfiability of UML Class Diagrams by Constraint Programming

Download www.dis.uniroma1.it

Toni Mancini

claim paper

Read More »

227

ECSQARU
2011
Springer

235views Automated Reasoning» more ECSQARU 2011»

Constructing Dynamic Frames of Discernment in Cases of Large Number of Classes

14 years 9 months ago

Constructing Dynamic Frames of Discernment in Cases of Large Number of Classes

Download www-labsticc.univ-ubs.fr

Yousri Kessentini, Thomas Burger, Thierry Paquet

claim paper

Read More »

128

LICS
1990
IEEE

66views Automated Reasoning» more LICS 1990»

Extensional PERs

15 years 10 months ago

Extensional PERs

Download www.staff.science.uu.nl

In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category C of "pointed complete extensional PERs" and computable maps is int...

Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana ...

claim paper

Read More »

160

CSL
1997
Springer

100views Automated Reasoning» more CSL 1997»

Equational Axioms of Test Algebra

15 years 10 months ago

Equational Axioms of Test Algebra

Download igitur-archive.library.uu.nl

We present a complete axiomatization of test algebra ( 24, 18, 29]), the two-sorted algebraic variant of Propositional Dynamic Logic (PDL, 21, 7]). The axiomatization consists of ...

Marco Hollenberg

claim paper

Read More »

« Prev « First page 11 / 384 Last » Next »