On the expressibility of priority (original) (raw)
Related papers
On the Axiomatizability of Priority
2006
On the axiomatisability of priority
Mathematical Structures in Computer Science, 2008
Weighted Operator Precedence Languages
2017
On the axiomatizability of priority II
Theoretical Computer Science, 2011
Algebraic properties of operator precedence languages
Information and control, 1978
Semantics and expressiveness of ordered SOS
Information and Computation, 2009
A formalization of priority inversion
Real-Time Systems, 1993
On the expressive power of priorities in CHR
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09, 2009
Laws of Generalized Prioritization
1993
A General Framework for Priority Arguments
Bulletin of Symbolic Logic, 1995
A Framework for Priority Arguments
2010
Higher-Order Operator Precedence Languages
Electronic Proceedings in Theoretical Computer Science
Operational semantics of term rewriting with priorities
1996
An Axiomatic Analysis of Priority
The Semantics of Priority and Posteriority
Operators and laws for combining preference relations
Andreka Hajnal, Hajnal Andréka, Pierre-Yves Schobbens
Journal of logic and …, 2002
Double threshold orders: a new axiomatization
Some Instances of Graded Consequence in the Context of Interval-Valued Semantics
Lecture Notes in Computer Science, 2015
Priority Inheritance on Condition Variables Tommaso Cucinotta
2013
Conditional Communication in the Presence of Priority
2000
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization
SIAM Journal on Computing, 2015
Operational semantics for positive rmR{\rm R}rmR
Notre Dame Journal of Formal Logic, 1987
Measuring with priority based logic
Ranking Semantics for Doxastic Necessities and Conditionals
Logica Yearbook 2017, 2018
Term-rewriting systems with rule priorities
Theoretical Computer Science, 1989
The expressive power of CHR with priorities
Information and Computation, 2013
Priority Inheritance on Condition Variables
Priority Structures in Deontic Logic
Johan van Benthem, Fenrong Liu
2015
Henkin-type semantics for program-schemes to turn negative results to positive
Operator Precedence\ omega-languages
2013