Sciweavers

4401 search results - page 318 / 881
» Computing with Default Logic
Sort
View
LACL
2011
Springer
14 years 9 months ago
Using Logic in the Generation of Referring Expressions
The problem of generating referring expressions (GRE) is an important task in natural language generation. In this paper, we advocate for the use of logical languages in the output...
Carlos Areces, Santiago Figueira, Daniel Gor&iacut...
CP
2009
Springer
16 years 7 months ago
Solving a Location-Allocation Problem with Logic-Based Benders' Decomposition
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...
Mohammad M. Fazel-Zarandi, J. Christopher Beck
TARK
2007
Springer
16 years 23 days ago
Alternating-time temporal logic with explicit strategies
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...
Dirk Walther, Wiebe van der Hoek, Michael Wooldrid...
ECSQARU
1999
Springer
15 years 11 months ago
Anchoring Symbols to Vision Data by Fuzzy Logic
Intelligent agents embedded in physical environments need ity to connect, or anchor, the symbols used to perform abstract reasoning to the physical entities which these symbols ref...
Silvia Coradeschi, Alessandro Saffiotti
ACE
2004
200views Education» more  ACE 2004»
15 years 8 months ago
Making Large Class Teaching More Adaptive With the Logic-ITA
1 Adaptive teaching does not usually rhyme with large number of students in class. Given the small amount of face to face and the disproportionate ratio, teachers have to use their...
Kalina Yacef