Sciweavers

2661 search results - page 37 / 533
» A Semantics for Abstraction
Sort
View
TCCI
2010
15 years 27 days ago
The Semantic Web: From Representation to Realization
Abstract. A semantically-linked web of electronic information
Kristinn R. Thórisson, Nova Spivack, James ...
SYNTHESE
2008
88views more  SYNTHESE 2008»
15 years 6 months ago
The pathology of validity
Abstract Stephen Read has presented an argument for the inconsistency of the concept of validity. We extend Read's results and show that this inconsistency is but one half of ...
James A. Woodbridge, Bradley Armour-Garb
ECAI
2008
Springer
15 years 8 months ago
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
Abstract. With the advent of the Semantic Web, the question becomes important how to best combine open-world based ontology languages, like OWL, with closed-world rules paradigms. ...
Matthias Knorr, José Júlio Alferes, ...
ESWS
2010
Springer
15 years 11 months ago
Semantics, Sensors, and the Social Web: The Live Social Semantics Experiments
Abstract. The Live Social Semantics is an innovative application that encourages and guides social networking between researchers at conferences and similar events. The application...
Martin Szomszor, Ciro Cattuto, Wouter Van den Broe...
LPAR
2010
Springer
15 years 4 months ago
Graded Alternating-Time Temporal Logic
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