Listing 1 - 8 of 8 |
Sort by
|
Choose an application
Choose an application
The promise of the Semantic Web is to move from a Web of data to a Web of meaning and distributed services. This vision of the Web has attracted - searchersfromdi?erent horizonswith the aims of de?ning newarchitecturesand languages necessary to make it possible, and of developing the ?rst applications of these concepts. This book contains the articles selected for publication and presentation at the workshop Principles and Practice of Semantic Web Reasoning PPSWR 2005, together with three invited talks. Three major aspects of Semantic Web research are represented in this selection: architecture issues, language issues, and reasoning methods. These advances are investigated in the context of new design principles and challenging applications. ThePPSWR2005workshopwaspartoftheDagstuhlseminarontheSem- tic Web organizedby F. Bry (Univ. Munchen, Germany),F. Fages (INRIA Roc- ¨ quencourt, France), M. Marchiori (MIT, Cambridge, USA) and H.-J. Ohlbach (Univ. Munchen, Germany),held in Dagstuhl, Germany,11-16September 2005. ¨ It was supported by the European Network of Excellence REWERSE (Reas- ing on the Web with Rules and Semantics, http://rewerse.net). This four-year project includes 27 European research and development organizations, and is intended to bolster Europe's expertise in Web reasoning systems and appli- tions.Itconsistsofeightmainworkinggroups:RuleMarkupLanguage ,Policy Language, Enforcement, Composition ,Composition and Typing ,Reasoning- Aware Querying ,Evolution ,Time and Location ,Adding Semantics to the Bioinformatics Web , and Personalized Information Systems . The papers in this volume re?ect most of the topics investigated in REWERSE; one third of them come from outside REWERSE.
Application software. --- Computer science. --- Information storage and retrieval. --- Artificial intelligence. --- Mathematical logic. --- Information Systems Applications (incl. Internet). --- Computer Science, general. --- Popular Computer Science. --- Information Storage and Retrieval. --- Artificial Intelligence. --- Mathematical Logic and Formal Languages. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software
Choose an application
Application software. --- Computer science. --- Information storage and retrieval. --- Artificial intelligence. --- Mathematical logic. --- Information Systems Applications (incl. Internet). --- Computer Science, general. --- Popular Computer Science. --- Information Storage and Retrieval. --- Artificial Intelligence. --- Mathematical Logic and Formal Languages. --- Semantic Web
Choose an application
Application software. --- Computer science. --- Information storage and retrieval. --- Artificial intelligence. --- Mathematical logic. --- Information Systems Applications (incl. Internet). --- Computer Science, general. --- Popular Computer Science. --- Information Storage and Retrieval. --- Artificial Intelligence. --- Mathematical Logic and Formal Languages. --- Semantic Web
Choose an application
Application software. --- Computer science. --- Information storage and retrieval. --- Artificial intelligence. --- Mathematical logic. --- Information Systems Applications (incl. Internet). --- Computer Science, general. --- Popular Computer Science. --- Information Storage and Retrieval. --- Artificial Intelligence. --- Mathematical Logic and Formal Languages. --- Semantic Web
Choose an application
This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007. The 10 revised full papers presented were carefully reviewed and selected from 16 initial submissions. The papers address all aspects of constraint and logic programming, including foundational issues, implementation techniques, new applications as well as teaching issues. Particular emphasis is placed on assessing the current state of the art and identifying future directions.
Mathematical logic --- Complex analysis --- Computer science --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- complexe analyse (wiskunde) --- programmeren (informatica) --- programmeertalen --- wiskunde --- logica --- robots --- numerieke analyse
Choose an application
This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007. The 10 revised full papers presented were carefully reviewed and selected from 16 initial submissions. The papers address all aspects of constraint and logic programming, including foundational issues, implementation techniques, new applications as well as teaching issues. Particular emphasis is placed on assessing the current state of the art and identifying future directions.
Constraint programming (Computer science) --- Logic programming --- Information Technology --- Artificial Intelligence --- Artificial intelligence. --- Computer science. --- Logic design. --- Computer software. --- Electronic data processing. --- Artificial Intelligence. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Logics and Meanings of Programs. --- Algorithm Analysis and Problem Complexity. --- Numeric Computing. --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Automation --- Programming languages (Electronic computers). --- Computer programming. --- Computer logic. --- Algorithms. --- Numerical analysis. --- Mathematical analysis --- Algorism --- Algebra --- Arithmetic --- Computer science logic --- Logic, Symbolic and mathematical --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Foundations --- Programming
Choose an application
Mathematical logic --- Complex analysis --- Computer science --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- complexe analyse (wiskunde) --- programmeren (informatica) --- programmeertalen --- wiskunde --- logica --- robots --- numerieke analyse
Listing 1 - 8 of 8 |
Sort by
|