2766 search results - page 196 / 554 » Hybridizing a Logical Framework |
133
click to vote
WSC
1997
15 years 5 months ago
1997
A simulation environment of the coordinated operation of multiple Autonomous Underwater Vehicles (AUVs) is presented. The primary application of this simulation environment is the...
125
click to vote
CORR
1998
Springer
15 years 4 months ago
1998
Springer
This paper describes a computational, declarative approach to prosodic morphology that uses inviolable constraints to denote small finite candidate sets which are filtered by a re...
123
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
This paper considers a portfolio selection problem with type-2 fuzzy future returns involving ambiguous and subjectivity. Since this proposed problem is not well-defined due to fuz...
185
click to vote
HAIS
2011
Springer
14 years 8 months ago
2011
Springer
The modelling of real-world complex systems is an area of ongoing interest for the research community. Real-world systems present a variety of challenges not least of which is the ...
131
click to vote
COLING
2008
15 years 6 months ago
2008
We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full sem...