Buch, Englisch, Band 2901, 214 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 347 g
International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings
Buch, Englisch, Band 2901, 214 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 347 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-20582-1
Verlag: Springer Berlin Heidelberg
while(forwardand/orbackward)chainingisthereasoningofchoicewhencoping with database-like views (for views, i.e., virtual data, can be derived from actual data using operations such as join and projections).
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Daten / Datenbanken Datenbanken & das Web
- Mathematik | Informatik EDV | Informatik Digital Lifestyle Internet, E-Mail, Social Media
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
- Mathematik | Informatik EDV | Informatik Daten / Datenbanken Datenkompression, Dokumentaustauschformate
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Webprogrammierung
- Mathematik | Informatik EDV | Informatik Technische Informatik Systemverwaltung & Management
Weitere Infos & Material
Foundations of Semantic Web Reasoning.- Composing Frameworks and Components for Families of Semantic Web Applications.- Semantic Web Logic Programming Tools.- Web Rules Need Two Kinds of Negation.- Reasoning in Practice.- Towards the Adaptive Semantic Web.- On Reasoning on Time and Location on the Web.- Reasoning about Communicating Agents in the Semantic Web.- Query and Rule-Languages.- A Visual Language for Web Querying and Reasoning.- XML Document Adaptation Queries (XDAQ): An Approach to Adaptation Reasoning Using Web Query Languages.- On Types for XML Query Language Xcerpt.- Integrating Description Logics and Answer Set Programming.- Semantics and Knowledge Representation.- Extracting Mathematical Semantics from Documents.- Reasoning in Attempto Controlled English.- Systematics and Architecture for a Resource Representing Knowledge about Named Entities.
