Sciweavers

2672 search results - page 105 / 535
» Hybridizing Concept Languages
Sort
View
ICCL
1992
IEEE
14 years 1 months ago
Multiparadigm data structures in Leda
Multiparadigm programming is a term used to describe a style of software development that makes use of facilities originally designed in support of a number of di erent programmin...
Timothy A. Budd
CPAIOR
2005
Springer
14 years 2 months ago
Nondeterministic Control for Hybrid Search
Hybrid algorithms combining local and systematic search often use nondeterminism in fundamentally different ways. They may differ in the strategy to explore the search tree and/o...
Pascal Van Hentenryck, Laurent Michel
EPIA
2001
Springer
14 years 1 months ago
Situation Calculus as Hybrid Logic: First Steps
Abstract. The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing th...
Patrick Blackburn, Jaap Kamps, Maarten Marx
COLING
1996
13 years 10 months ago
Prepositional Phrase Attachment Through A Hybrid Disambiguation Model
Prepositional phrase attachment is a major cause of stru(:tural alnbiguity in natural language. Recent work has been dependent on corpus-based approaches to deal with this problem...
Haodong Wu, Teiji Furugori
JAPLL
2010
111views more  JAPLL 2010»
13 years 3 months ago
The complexity of satisfiability for fragments of hybrid logic - Part I
The satisfiability problem of hybrid logics with the downarrow binder is known to be undecidable. This initiated a research program on decidable and tractable fragments. In this p...
Arne Meier, Martin Mundhenk, Thomas Schneider 0002...