1269 search results - page 98 / 254 » Pi-Calculus in Logical Form |
70
Voted
AAAI
2008
15 years 3 months ago
2008
In this paper, we propose the use of a neuro-fuzzy strategy to develop a Web personalization framework for the dynamic suggestion of URLs retained interesting for the currently co...
105
click to vote
EUSFLAT
2009
14 years 10 months ago
2009
Abstract-- the paper presents a possibility formulation of oneparameter estimation that unifies some usual probability formulations. Point and confidence interval estimation are un...
CALCO
2005
Springer
15 years 6 months ago
2005
Springer
In the specific situation of formal reasoning concerned with “regular expression equivalence” we address instances of more general questions such as: how can coinductive argum...
117
Voted
ASP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
92
Voted
ERSHOV
2001
Springer
15 years 5 months ago
2001
Springer
There are many different ways of proving formulas in proposition logic. Many of these can easily be characterized as forms of resolution (e.g. [12] and [9]). Others use so-called...