5378 search results - page 112 / 1076 » Base Logics in Argumentation |
157
Voted
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
As current silicon-based techniques fast approach their practical limits, the investigation of nanoscale electronics, devices and system architectures becomes a central research p...
160
Voted
CAEPIA
2009
Springer
15 years 7 months ago
2009
Springer
We slightly improve on characterization results already in the literature for base revision. We show that in order to axiomatically characterize revision operators in a logic the o...
158
click to vote
CSL
2004
Springer
15 years 11 months ago
2004
Springer
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...
199
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
Inferring an appropriate DTD or XML Schema Definition (XSD) for a given collection of XML documents essentially reduces to learning deterministic regular expressions from sets of ...
158
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...