the proceedings contain 81 papers. the topics discussed include: a formal semantics for weighted ontology mappings;instance-based matching of large ontologies using locality-sensitive hashing;performance heterogeneity...
ISBN:
(纸本)9783642351723
the proceedings contain 81 papers. the topics discussed include: a formal semantics for weighted ontology mappings;instance-based matching of large ontologies using locality-sensitive hashing;performance heterogeneity and approximate reasoning in description logic ontologies;concept-based semantic difference in expressive description logics;RDFS reasoning on massively parallel hardware;an efficient bit vector approach to semantics-based machine perception in resource-constrained devices;semantic enrichment by non-experts: usability of manual annotation tools;predicting reasoning performance using ontology metrics;achieving interoperability through semantics-based technologies: the instant messaging case;linking smart cities datasets with human computation the case of urbanmatch;applying semantic web technologies for diagnosing road traffic congestions;and semantic similarity-driven decision support in the skeletal dysplasia domain.
the proceedings contain 15 papers. the topics discussed include: ada ravenscar code archetypes for component-based development;an integrated framework for multiprocessor, multimoded real-time applications;integrating ...
ISBN:
(纸本)9783642305979
the proceedings contain 15 papers. the topics discussed include: ada ravenscar code archetypes for component-based development;an integrated framework for multiprocessor, multimoded real-time applications;integrating middleware for timely reconfiguration of distributed soft real-time systems with ada DSA;source code as the key artifact in requirement-based development: the case of ada 2012;teaching 'concepts of programming languages' with ada;designing the API for a cryptographic library: a misuse-resistant application programming interface;handling synchronization requirements under separation of concerns in model-driven component-based development;an approach to model checking ada programs;augmenting formal development with use case reasoning;improving the performance of execution time control by using a hardware time management unit;and efficient constraint handling during designing reliable automotive real-time systems.
Database query optimizers rely on data statistics in selecting query execution plans and rule-based systems can greatly benefit from such optimizations as well. To this end, one first needs to collect data statistics ...
详细信息
Story plots must contain, besides physical action events, a minimal set of information-gathering events, whereby the various characters can form their beliefs on the facts of the mini-world in which the narrative take...
详细信息
We survey the well-known algebraic laws of sequential programming, and propose some less familiar laws for concurrent programming. On the basis of these laws, we derive the rules of a number of classical programming a...
详细信息
Knowledge representation is an important topic in common-sense reasoning and artificialintelligence, and one of the earliest techniques to represent it is by means of knowledge bases encoded into logic clauses. Encod...
详细信息
Knowledge representation is an important topic in common-sense reasoning and artificialintelligence, and one of the earliest techniques to represent it is by means of knowledge bases encoded into logic clauses. Encoding knowledge, however, is prone to typos and other kinds of consistency mistakes, which may yield incorrect results or even internal contradictions with conflicting information from other parts of the same code. In order to overcome such situations, we propose a logic-programming system to debug knowledge bases. the system has a strong theoretical framework on knowledge representation and reasoning, and a suggested on-line prototype where one can test logic programs. Such logic programs may have, of course, conflicting information and the system shall prompt the user where the possible source of conflict is. Besides, the system can be employed to identify conflicts of the knowledge base itself and upcoming new information, it can also be used to locate the source of conflict from a given inherently inconsistent static knowledge base. this paper describes an implementation of a declarative version of the system that has been characterised to debug knowledge bases in a semantical formalism. Some of the key components of such implementation are existing solvers, so this paper focuses on how to use them and why they work, towards an implemented a fully-fledged system.
this work introduces jFuzzylogic, an open source library for fuzzy systems which allow us to design Fuzzy logic Controllers supporting the standard for Fuzzy Control programming published by the international Electrot...
详细信息
ISBN:
(纸本)9781467315074
this work introduces jFuzzylogic, an open source library for fuzzy systems which allow us to design Fuzzy logic Controllers supporting the standard for Fuzzy Control programming published by the international Electrotechnical Commission. this library is written in Java and is available as open source from ***. the use of jFuzzylogic is illustrated through the analysis of one case study.
Following the initiative in 2010 taken by the Association for logicprogramming and Cambridge University Press, the full papers accepted for the internationalconference on logicprogramming again appear as a special ...
Following the initiative in 2010 taken by the Association for logicprogramming and Cambridge University Press, the full papers accepted for the internationalconference on logicprogramming again appear as a special issue of theory and Practice of logicprogramming (TPLP)—the 27thinternationalconference on logicprogramming Special Issue. Papers describing original, previously unpublished research and not simultaneously submitted for publication elsewhere were solicited in all areas of logicprogramming including but not restricted to: theory: Semantic Foundations, Formalisms, Non- monotonic reasoning, Knowledge Representation. Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, programming Techniques. Related Paradigms: Abductive logicprogramming, Inductive logicprogramming, Constraint logicprogramming, Answer-Set programming. Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, artificialintelligence, Bioinformatics.
We introduce the first approach to Reactive Answer Set programming, aiming at reasoning about real-time dynamic systems running online in changing environments. We start by laying the theoretical foundations by appeal...
详细信息
ISBN:
(纸本)9783642208942
We introduce the first approach to Reactive Answer Set programming, aiming at reasoning about real-time dynamic systems running online in changing environments. We start by laying the theoretical foundations by appeal to module theory. Withthis, we elaborate upon the composition of the various offline and online programs in order to pave the way for stream-driven grounding and solving. Finally, we describe the implementation of a reactive ASP solver, oclingo.
暂无评论