Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Hao Wang 0001 |
The Axiomatization of Arithmetic. |
J. Symb. Log. |
1957 |
DBLP DOI BibTeX RDF |
|
10 | Aquinas Hobor, Robert Dockins, Andrew W. Appel |
A theory of indirection via approximation. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
indirection theory, step-indexed models |
10 | Steve Barker |
Personalizing access control by generalizing access control. |
SACMAT |
2010 |
DBLP DOI BibTeX RDF |
integrity, privacy policies, access control models |
10 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind |
Tableau calculus for preference-based conditional logics: PCL and its extensions. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
Tableaux calculi, conditional logics |
10 | Koen V. Hindriks, John-Jules Ch. Meyer |
Toward a programming theory for rational agents. |
Auton. Agents Multi Agent Syst. |
2009 |
DBLP DOI BibTeX RDF |
Verification logic, State-based semantics, Programming theory, Denotational semantics, Rational agents |
10 | Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre |
Fibred Security Language. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
Fibring, Access Control, Logic, Trust Management, Language-based Security |
10 | Giorgi Japaridze |
Many Concepts and Two Logics of Algorithmic Reduction. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
Affine logic, Interactivecomputation, Linear logic, Game semantics, Intuitionistic logic, Computability logic |
10 | Dmitry Zaitsev 0002 |
A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT4. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
Generalized truth values, Dunn-Belnap logic, Shramko-Wansing logic, trilattice, tetralattice, first-degree entailment, bilattice |
10 | Tomasz Jarmuzek, Andrzej Pietruszczak |
The Tense Logic for Master Argument in Prior's Reconstruction. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
Master Argument of Diodorus Cronus, time and modalities, logical structures of time, modal and tense logics |
10 | Giuseppe Castagna, Nils Gesbert, Luca Padovani |
A theory of contracts for Web services. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
explicit coercions, must testing, Web services, contracts, subtyping, type theory, ccs, concurrency theory |
10 | Rajdeep Niyogi, Ramaswamy Ramanujam |
An Epistemic Logic for Planning with Trials. |
LORI |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Patrick Girard 0004, Jeremy Seligman |
An Analytic Logic of Aggregation. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
preference logic, lexicographic aggregation, hybrid modal logic, analytic proof theory, sequent calculus |
10 | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva 0001 |
An Algebra for Kripke Polynomial Coalgebras. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Samuel Mimram |
The Structure of First-Order Causality. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Julian Gutierrez 0001 |
Logics and Bisimulation Games for Concurrency, Causality and Conflict. |
FoSSaCS |
2009 |
DBLP DOI BibTeX RDF |
Bisimulation games, Behavioural equivalences, Concurrent and reactive systems, Petri nets, Modal and temporal logics |
10 | Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic |
Qualitative Possibilities and Necessities. |
ECSQARU |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Ivano Ciardelli, Floris Roelofsen |
Generalized inquisitive logic: completeness via intuitionistic Kripke models. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Joseph Y. Halpern, Leandro Chaves Rêgo |
Reasoning about knowledge of unawareness revisited. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge |
A logic of propositional control for truthful implementations. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
10 | George Metcalfe, Nicola Olivetti |
Proof Systems for a Gödel Modal Logic. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Suzana Andova, Sonja Georgievska |
On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Tetsuo Ida |
Symbolic and algebraic methods in computational origami: invited talk. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
gröbner bases, graph rewriting, origami |
10 | Marc Pauly |
On the role of language in social choice theory. |
Synth. |
2008 |
DBLP DOI BibTeX RDF |
Logic, Judgment aggregation, Social choice theory |
10 | Tarek Sayed Ahmed |
On Complete Representations of Reducts of Polyadic Algebras. |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
polyadic algebras, complete representations, Algebraic logic |
10 | Jaroslav Peregrin |
What is the Logic of Inference? |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
nature of logic, logical operators, inference, proof theory, intuitionistic logic |
10 | Seiki Akama, Yasunori Nagata, Chikatoshi Yamada |
Three-Valued Temporal Logic Q t and Future Contingents. |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
Q, three-valued temporal logic Q t, future contingents, Kripke semantics, Prior |
10 | Ewa Orlowska, Ingrid Rewitzky |
Context Algebras, Context Frames, and Their Discrete Duality. |
Trans. Rough Sets |
2008 |
DBLP DOI BibTeX RDF |
duality via truth, attribute dependency, context, formal concept analysis, Duality, concept, implication, representation theorem |
10 | Susumu Nishimura |
Safe Modification of Pointer Programs in Refinement Calculus. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Marco Bernardo 0001 |
Towards State Space Reduction Based on T-Lumpability-Consistent Relations. |
EPEW |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Ivan Lanese, Jorge A. Pérez 0001, Davide Sangiorgi, Alan Schmitt |
On the Expressiveness and Decidability of Higher-Order Process Calculi. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
behavioral equivalences, decidability, expressiveness, process calculi, higher-order languages |
10 | Dexter Kozen |
Nonlocal Flow of Control and Kleene Algebra with Tests. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
control flow, Kleene algebra, program restructuring, Kleene algebra with tests |
10 | Samson Abramsky |
Petri Nets, Discrete Physics, and Distributed Quantum Computation. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Radu Mardare, Alberto Policriti |
A Complete Axiomatic System for a Process-Based Spatial Logic. |
MFCS |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Matthias Bräuer, Henrik Lochmann |
An Ontology for Software Models and Its Practical Implications for Semantic Web Reasoning. |
ESWC |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Kenneth L. McMillan |
Quantified Invariant Generation Using an Interpolating Saturation Prover. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Christian Meilicke, Johanna Völker, Heiner Stuckenschmidt |
Learning Disjointness for Debugging Mappings between Lightweight Ontologies. |
EKAW |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic |
How to Restore Compactness into Probabilistic Logics?. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Diego Magro, Anna Goy |
Towards a first ontology for customer relationship management. |
CSTST |
2008 |
DBLP DOI BibTeX RDF |
CRM ontology, customer relationship management, enterprise ontology |
10 | Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic |
A Probabilistic Logic with Polynomial Weight Formulas. |
FoIKS |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Taolue Chen, Jaco van de Pol, Yanjing Wang 0001 |
PDL over Accelerated Labeled Transition Systems. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
PDL, Accelerated Labeled Transition Systems |
10 | Xuefeng Wen |
A Propositional Logic with Relative Identity Connective and a Partial Solution to the Paradox of Analysis. |
Stud Logica |
2007 |
DBLP DOI BibTeX RDF |
relative identity, paradox of analysis, hyperintensional logic, context |
10 | Michael Moortgat |
Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Pablo F. Castro, T. S. E. Maibaum |
A Complete and Compact Propositional Deontic Logic. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
Fault tolerance, Temporal Logic, Modal Logic, Software Specification, Deontic Logic |
10 | Peng Wu 0002, Catuscia Palamidessi, Huimin Lin |
Symbolic Bisimulations for Probabilistic Systems. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego |
A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. |
CAEPIA |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Tomoyuki Yamada |
Acts of Promising in Dynamified Deontic Logic. |
JSAI |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Guillaume Aucher, Andreas Herzig |
From DEL to EDL : Exploring the Power of Converse Events. |
ECSQARU |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Jan M. Broersen, Andreas Herzig, Nicolas Troquard |
A normal simulation of coalition logic and an epistemic extension. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Frank Pfenning |
Subtyping and intersection types revisited. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Shifei Ding, Wei Ning, Fengxiang Jin, Shixiong Xia, Zhongzhi Shi |
Supervised Information Feature Compression Algorithm Based on Divergence Criterion. |
ICIC (2) |
2007 |
DBLP DOI BibTeX RDF |
divergence criterion, information feature compression, average separability information (ASI), information theory |
10 | Lucja Kot, Walker M. White |
Characterization of the Interaction of XML Functional Dependencies with DTDs. |
ICDT |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Evan Goris |
Explicit Proofs in Formal Provability Logic. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Nicolas Blanc, Alex Groce, Daniel Kroening |
Verifying C++ with STL containers via predicate abstraction. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
model checking, verification, C++, iterator, predicate abstraction, STL |
10 | Carlos Caleiro, Jaime Ramos |
Combining Classical and Intuitionistic Implications. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Jacques Simonin, Yves Le Traon, Jean-Marc Jézéquel |
An Enterprise Architecture Alignment Measure for Telecom Service Development. |
EDOC |
2007 |
DBLP DOI BibTeX RDF |
telecom service development, Model Driven Architecture/Engineering, alignment measure, Enterprise Architecture |
10 | Luigi Dragone, Riccardo Rosati 0001 |
Checking e-service consistency using Description Logics. |
IEEE SCC |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Jeffrey S. Olson |
Subdirectly Irreducible Residuated Semilattices and Positive Universal Classes. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
positive universal formulas, subdirectly irreducible algebras, contraction, linear logic, residuated lattices, Residuation |
10 | Lee Pike |
A Note on Inconsistent Axioms in Rushby's "Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms'. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
time-triggered algorithms, Formal methods, formal verification, PVS, synchronous systems |
10 | Tuan-Fang Fan, Duen-Ren Liu, Gwo-Hshiung Tzeng |
Arrow Decision Logic for Relational Information Systems. |
Trans. Rough Sets |
2006 |
DBLP DOI BibTeX RDF |
Arrow logic, functional information systems, relational information systems, rough sets, multicriteria decision analysis, decision logic |
10 | Blanka Kozlíková, Vítezslav Svejdar |
On interplay of quantifiers in Gödel-Dummett fuzzy logics. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03B20, 03B52, 03B55 |
10 | Raja R. A. Issa, Ivan Mutis |
Ontology Based Framework Using a Semantic Web for Addressing Semantic Reconciliation in Construction. |
EG-ICE |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Toshinori Takai, Hitoshi Furusawa |
Monodic Tree Kleene Algebra. |
RelMiCS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Sandip Ray |
Quantification in tail-recursive function definitions. |
ACL2 |
2006 |
DBLP DOI BibTeX RDF |
formal methods, logic, ACL2, conservativity, skolemization |
10 | Lutz Schröder, Dirk Pattinson |
PSPACE Bounds for Rank-1 Modal Logics. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Tomoyuki Yamada |
Logical Dynamics of Commands and Obligations. |
JSAI |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Lutz Schröder |
A Finite Model Construction for Coalgebraic Modal Logic. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Yu Sun 0005, Yuefei Sui, Zhiping Li |
One Axiomatic System for the Ontology Revision. |
Intelligent Information Processing |
2006 |
DBLP DOI BibTeX RDF |
Subsumption relation, Default inheritance, Ontologies, Belief revision |
10 | Shi-Fei Ding, Zhong-Zhi Shi |
Divergence-Based Supervised Information Feature Compression Algorithm. |
ISNN (1) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Shifei Ding, Zhongzhi Shi, Fengxiang Jin |
Supervised Feature Extraction Algorithm Based on Continuous Divergence Criterion. |
ICIC (2) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Yingcang Ma, Qiaoyan Li |
A Propositional Deductive System Of Universal Logic with Projection Operator. |
ISDA (1) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Qing Liu 0011, Hui Sun |
Theoretical Study of Granular Computing. |
RSKT |
2006 |
DBLP DOI BibTeX RDF |
Granular logic, closeness degree, granular computing |
10 | Tomoyuki Yamada |
Acts of Commanding and Changing Obligations. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Rohit Chadha, Paulo Mateus, Amílcar Sernadas |
Reasoning About States of Probabilistic Sequential Programs. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Khalil Djelloul, Thi-Bich-Hanh Dao |
Extension of First-Order Theories into Trees. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge |
Temporal qualitative coalitional games. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
logic, repeated games, coalitional games |
10 | Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge |
On the logic of coalitional games. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
game theory, logic, coalitional games |
10 | Maria Bulinska |
The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
Lambek, grammar, calculus, context-free |
10 | Joan Gispert, Antoni Torrens |
Axiomatic Extensions of IMT3 Logic. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
IMTL-algebras, involutive monoidal t-norm logic, residu-ated lattices, many-valued logics |
10 | Lawrence Peter Belluce, Revaz Grigolia, Ada Lettieri |
Representations of monadic MV -algebras. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
Monadic algebra, Projective algebra, MV -algebra |
10 | Jordan Zashev |
Diagonal fixed points in algebraic recursion theory. |
Arch. Math. Log. |
2005 |
DBLP DOI BibTeX RDF |
Algebraic recursion theory-Combinatory logic |
10 | Daniel Kroening |
Decision Procedures for the Grand Challenge. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Ken Q. Pu, Alberto O. Mendelzon |
Typed functional query languages with equational specifications. |
CIKM |
2005 |
DBLP DOI BibTeX RDF |
functional query languages, type system, OLAP, equational logic |
10 | Douglas B. Lenat |
Scaling Up: Computers vs. Common Sense. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Manas K. Patra |
A Logic for Quantum Circuits and Protocols. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
complexity, quantum computing, quantum circuits, Probability logic |
10 | Thomas Ågotnes, Michal Walicki |
Complete Axiomatizations of Finite Syntactic Epistemic States. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
10 | François Lamarche, Lutz Straßburger |
Constructing Free Boolean Categories. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Wan J. Fokkink, Sumit Nain |
A Finite Basis for Failure Semantics. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Yuxin Deng, Catuscia Palamidessi |
Axiomatizations for Probabilistic Finite-State Behaviors. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Adán Cabello |
Communication Complexity as a Principle of Quantum Mechanics. |
UC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Chadlia Jerad, Kamel Barkaoui |
On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP. |
IEEE International Workshop on Rapid System Prototyping |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Sibylle B. Fröschle, Slawomir Lasota 0001 |
Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain |
Bisimilarity Is Not Finitely Based over BPA with Interrupt. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Roberto Bruni, Ivan Lanese, Ugo Montanari |
Complete Axioms for Stateless Connectors. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Stefania Bandini, Alessandro Mosca 0001, Matteo Palmonari |
A Hybrid Logic for Commonsense Spatial Reasoning. |
AI*IA |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Wiebe van der Hoek, Michael J. Wooldridge |
On the dynamics of delegation, cooperation, and control: a logical account. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
powers of agents and coalitions, propositional control, cooperation, dynamics, modal logic, delegation, dynamic logic |
10 | Xiangpeng Li, Qiang Tang 0011, Qing Liu 0011 |
An minimal axiom group of rough set based on generalized relation. |
GrC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
Proving correctness of timed concurrent constraint programs. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
Concurrency, constraints, temporal logic, reactive systems |
10 | Bernhard Heinemann |
A Modal Logic for Discretely Descending Chains of Sets. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
modal logic of subset spaces, completeness, decidability, temporalization |
10 | Gultekin Özsoyoglu, Nevzat Hurkan Balkir, Z. Meral Özsoyoglu, Graham Cormode |
On Automated Lesson Construction from Electronic Textbooks. |
IEEE Trans. Knowl. Data Eng. |
2004 |
DBLP DOI BibTeX RDF |
electronic textbook data models, instructional modules, lesson construction, lesson construction heuristics, lesson complexity, topics, Electronic textbooks |
10 | Bernhard Heinemann |
A Hybrid Logic of Knowledge Supporting Topological Reasoning. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
logical frameworks for reasoning, reasoning about knowledge and topology, completeness, decidability, hybridization |