Search Sciweavers | Sciweavers

5818 search results - page 141 / 1164

» A reasonable Semantic Web

199

click to vote

CADE
2010
Springer

216views Logical Reasoning» more CADE 2010»

Classical Logic with Partial Functions

15 years 8 months ago

Download www.ii.uni.wroc.pl

Abstract. We introduce a semantics for classical logic with partial functions. We believe that the semantics is natural. When a formula contains a subterm in which a function is ap...

Hans de Nivelle

claim paper

Read More »

130

click to vote

AIED
2007
Springer

73views Artificial Intelligence» more AIED 2007»

Combining Bayesian Networks and Formal Reasoning for Semantic Classification of Student Utterances

16 years 1 months ago

Download www.cs.cmu.edu

Maxim Makatchev, Kurt VanLehn

claim paper

Read More »

183

click to vote

IFIP
2007
Springer

87views Programming Languages» more IFIP 2007»

Semantic Context Reasoning Using Ontology Based Models

16 years 1 months ago

Download wwwhome.cs.utwente.nl

New mobile computing technologies and the increasing use of portable devices have pushed the development of the so-called context-aware applications. This new class of applications...

Rodrigo Mantovaneli Pessoa, Camilo Zardo Calvi, Jo...

claim paper

Read More »

138

click to vote

POLICY
2007
Springer

93views Computer Networks» more POLICY 2007»

Policy Analysis Using a Hybrid Semantic Reasoning Engine

16 years 1 months ago