Sciweavers

Share
JAR
2010
95views more  JAR 2010»
9 years 4 months ago
Equivariant Unification
Nominal logic is a variant of first-order logic with special facilities for reasoning about names and binding based on the underlying concepts of swapping and freshness. It serves ...
James Cheney
SYNTHESE
2011
177views more  SYNTHESE 2011»
9 years 4 months ago
Quantum logic as a dynamic logic
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
Alexandru Baltag, Sonja Smets
KBS
2011
81views more  KBS 2011»
9 years 4 months ago
Existential rigidity and many modalities in order-sorted logic
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (c...
Ken Kaneiwa
COMMA
2010
9 years 4 months ago
Base Logics in Argumentation
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arg...
Anthony Hunter
AMAST
2010
Springer
9 years 4 months ago
Integrating Maude into Hets
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
Mihai Codescu, Till Mossakowski, Adrián Rie...
AMAST
2010
Springer
9 years 4 months ago
Matching Logic: An Alternative to Hoare/Floyd Logic
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
Grigore Rosu, Chucky Ellison, Wolfram Schulte
FUIN
2010
67views more  FUIN 2010»
9 years 7 months ago
Properties of Almost All Graphs and Generalized Quantifiers
We study 0-1 laws for extensions of first-order logic by Lindstr
Anuj Dawar, Erich Grädel
ECEASST
2010
9 years 7 months ago
On Teaching Logic and Algebraic Specification
ation and logic. The logic courses mainly provided a very abstract and
Till Mossakowski
HIS
2009
9 years 7 months ago
Implementing and Evaluating a Rule-Based Approach to Querying Regular EL+ Ontologies
Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...
Yuting Zhao, Jeff Z. Pan, Yuan Ren
DLT
2009
9 years 7 months ago
Weighted Timed MSO Logics
We aim to generalize B
Karin Quaas
books