Sciweavers

1486 search results - page 244 / 298
» Mathematical Fuzzy Logics
Sort
View
165
Voted
NDJFL
2000
97views more  NDJFL 2000»
15 years 6 months ago
Neo-Fregean Foundations for Real Analysis: Some Reflections on Frege's Constraint
now of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimic...
Crispin Wright
TCS
2002
15 years 6 months ago
A unified language processing methodology
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
Teodor Rus

Book
545views
17 years 2 months ago
Artificial Intelligence: A Modern Approach
"Artificial Intelligence (AI) is a big field, and this is a big book. We have tried to explore the full breadth of the field, which encompasses logic, probability, and continu...
Stuart Russell and Peter Norvig
DSVIS
2005
Springer
16 years 7 days ago
Concept Analysis as a Formal Method for Menu Design
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...
Guo-Qiang Zhang, Gongqin Shen, Ye Tian, Jiayang Su...
PPDP
2004
Springer
16 years 2 days ago
Nominal rewriting systems
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
Maribel Fernández, Murdoch Gabbay, Ian Mack...