Search Sciweavers | Sciweavers

4573 search results - page 198 / 915

» Automated Reasoning

171

click to vote

LPAR
2010
Springer

138views Automated Reasoning» more LPAR 2010»

Graded Alternating-Time Temporal Logic

15 years 4 months ago

Download www.ing.unife.it

Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:

Marco Faella, Margherita Napoli, Mimmo Parente

claim paper

Read More »

154

click to vote

DLOG
2009

95views Automated Reasoning» more DLOG 2009»

A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics

15 years 4 months ago

Download ijcai.org

Least Common Subsumers (LCS) have been proposed in Description Logics (DL) to capture the commonalities between two or more concepts.

Francesco M. Donini, Simona Colucci, Tommaso Di No...

claim paper

Read More »

161

click to vote

GIS
2010
ACM

124views Automated Reasoning» more GIS 2010»

Space, time and visual analytics

15 years 1 months ago

Download geoanalytics.net

Gennady L. Andrienko, Natalia V. Andrienko, Urska ...

claim paper

Read More »

217

click to vote

CSL
2011
Springer

239views Automated Reasoning» more CSL 2011»

Whodunnit - Searching for the most important feature types signalling emotion-related user states in speech

14 years 10 months ago

Download www5.informatik.uni-erlangen.de

Anton Batliner, Stefan Steidl, Björn Schuller...

claim paper

Read More »

138

click to vote

CADE
2007
Springer

154views Logical Reasoning» more CADE 2007»

The Bedwyr System for Model Checking over Syntactic Expressions

16 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers