Sciweavers

4617 search results - page 60 / 924

» Automation of Diagrammatic Reasoning

103

DLOG
2007

94views Automated Reasoning» more DLOG 2007»

Practical Conforming Datatype Groups

15 years 8 months ago

Practical Conforming Datatype Groups

Download www.hpl.hp.com

Dave Turner, Jeremy Carroll

claim paper

Read More »

98

DLOG
2007

80views Automated Reasoning» more DLOG 2007»

A Well-founded Semantics for Hybrid MKNF Knowledge Bases

15 years 8 months ago

A Well-founded Semantics for Hybrid MKNF Knowledge Bases

Download centria.di.fct.unl.pt

Matthias Knorr, José Júlio Alferes, ...

claim paper

Read More »

130

DLOG
2007

91views Automated Reasoning» more DLOG 2007»

Model Checking of Restricted CTL* Formulas using ALCK

15 years 8 months ago

Model Checking of Restricted CTL* Formulas using ALCK

Download sunsite.informatik.rwth-aachen.de

Taufiq Rochaeli, Claudia Eckert

claim paper

Read More »

136

DLOG
2008

139views Automated Reasoning» more DLOG 2008»

Next Steps for Description Logics of Minimal Knowledge and Negation as Failure

15 years 8 months ago

Next Steps for Description Logics of Minimal Knowledge and Negation as Failure

Download sunsite.informatik.rwth-aachen.de

Peihong Ke, Ulrike Sattler

claim paper

Read More »

118

DLOG
2008

73views Automated Reasoning» more DLOG 2008»

Supporting the Design of Ontologies for Data Access

15 years 8 months ago

Supporting the Design of Ontologies for Data Access

Download sites.upc.edu

Lina Lubyte, Sergio Tessaris

claim paper

Read More »

« Prev « First page 60 / 924 Last » Next »