Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Rajeev Alur |
Streaming String Transducers. |
WoLLIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Julian Gutierrez 0001 |
Concurrent Logic Games on Partial Orders. |
WoLLIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michiel van Lambalgen |
Logical Form as a Determinant of Cognitive Processes. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Ferrarotti, Sven Hartmann, Sebastian Link |
On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Renata Hax Sander Reiser, Benjamín R. C. Bedregal, Gesner Antonio Azevedo dos Reis |
Interval Valued Fuzzy Coimplication. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Nantes Sobrinho, Mauricio Ayala-Rincón |
Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Naeem Abbasi, Osman Hasan, Sofiène Tahar |
Formal Lifetime Reliability Analysis Using Continuous Random Variables. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ramyaa Ramyaa, Daniel Leivant |
Feasible Functions over Co-inductive Data. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexis Goyet, Masami Hagiya, Yoshinori Tanabe |
Decidability and Undecidability Results on the Modal µ-Calculus with a Natural Number-Valued Semantics. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Glyn Morrill, Oriol Valentín |
On Anaphora and the Binding Principles in Categorial Grammar. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Cesare Tinelli |
Foundations of Satisfiability Modulo Theories. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Areces, Guillaume Hoffmann 0001, Alexandre Denis 0002 |
Modal Logics with Counting. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ian Pratt-Hartmann |
The Two-Variable Fragment with Counting Revisited. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Finger, Mauricio S. C. Hernandes |
Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sven Hartmann, Sebastian Link, Thu Trinh |
Solving the Implication Problem for XML Functional Dependencies with Properties. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sebastiaan Terwijn |
Intuitionistic Logic and Computability Theory. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine |
Intersection Type Systems and Explicit Substitutions Calculi. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Johann A. Makowsky |
Application of Logic to Integer Sequences: A Survey. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andréia B. Avelar, Flávio L. C. de Moura, André Luiz Galdino, Mauricio Ayala-Rincón |
Verification of the Completeness of Unification Algorithms à la Robinson. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Aditi Barthwal, Michael Norrish |
Mechanisation of PDA and Grammar Equivalence for Context-Free Languages. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Richard Zuber |
Generalising Conservativity. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lange, Markus Latte |
A CTL-Based Logic for Program Abstractions. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar, Ruy J. G. B. de Queiroz (eds.) |
Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ren-June Wang |
Knowledge, Time, and Logical Omniscience. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yoshihiro Maruyama |
A Duality for Algebras of Lattice-Valued Modal Logic. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, Agata Ciabattoni, Norbert Preining |
SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Philippe de Groote, Sylvain Pogodalla, Carl Pollard |
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Prisacariu, Gerardo Schneider |
: An Action-Based Logic for Reasoning about Contracts. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Caleiro, João Marcos 0001 |
Classic-Like Analytic Tableaux for Finite-Valued Logics. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
many-valued logics, proof theory |
1 | Carsten Lutz, Frank Wolter |
Mathematical Logic for Life Science Ontologies. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Arnold Beckmann |
A Characterisation of Definable NP Search Problems in Peano Arithmetic. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Katsuhiko Sano |
Sound and Complete Tree-Sequent Calculus for Inquisitive Logic. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kerstin Bauer, Raffaella Gentilini, Klaus Schneider 0001 |
Property Driven Three-Valued Model Checking on Hybrid Automata. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Belardinelli, Alessio Lomuscio |
First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Juha Kontinen, Ville Nurmi |
Team Logic and Second-Order Logic. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Salvati |
Recognizability in the Simply Typed Lambda-Calculus. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Juan Carlos Nieves, Mauricio Osorio 0001, Claudia Zepeda |
Expressing Extension-Based Semantics Based on Stratified Minimal Models. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
extension-based argumentation semantics and logic programming, Non-monotonic reasoning |
1 | Juliana Kaizer Vizzotto, André Rauber Du Bois, Amr Sabry |
The Arrow Calculus as a Quantum Programming Language. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz (eds.) |
Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sara Miner More, Pavel Naumov |
An Independence Relation for Sets of Secrets. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Taisuke Sato |
Logic-Based Probabilistic Modeling. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Carsten Lutz, Magdalena Ortiz 0001, Mantas Simkus |
Query Answering in Description Logics: The Knots Approach. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Baltag, Sonja Smets |
Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz |
Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
proof-graphs, multiple conclusion, normalization, cycles, proof theory |
1 | Benjamin Rossman |
Ehrenfeucht-Fraïssé Games on Random Structures. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Link |
Spoilt for Choice: Full First-Order Hierarchical Decompositions. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
Database Decomposition, Propositional Logic, Axiomatisation, Database Constraint |
1 | Majid Alizadeh |
Completions of Basic Algebras. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
Basic algebra, Visser’s basic logic, Completion, Intuitionistic logic, Heyting algebra |
1 | Bernhard Heinemann |
Observational Effort and Formally Open Mappings. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
topology and epistemic logic, subset spaces, open mappings, hybrid logic |
1 | Linda Postniece |
Deep Inference in Bi-intuitionistic Logic. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Henning Christiansen 0001, Verónica Dahl |
Abductive Logic Grammars. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Caleiro, Ricardo Gonçalves 0001 |
Algebraic Valuations as Behavioral Logical Matrices. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
behavioral algebraization, logical matrix, valuation semantics, algebraic logic |
1 | Hugo Herbelin, Gyesik Lee |
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
Intuitionistic Gentzen-style sequent calculus, completeness, cut-elimination, Kripke semantics |
1 | Hubie Chen, Omer Giménez |
On-the-Fly Macros. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Amato, Francesca Scozzari |
Observational Completeness on Abstract Interpretation. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alain Lecomte, Myriam Quatrini |
Ludics and Its Applications to Natural Language Semantics. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jan van Eijck, Yanjing Wang 0001 |
Propositional Dynamic Logic as a Logic of Belief Revision. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
PDL, epistemic dynamic logic, knowledge update, belief revision |
1 | Anuj Dawar |
On the Descriptive Complexity of Linear Algebra. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Koiran, Jürgen Landes, Natacha Portier, Penghui Yao |
Adversary Lower Bounds for Nonadaptive Quantum Algorithms. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Amin Farjudian, Michal Konecný |
Time Complexity and Convergence Analysis of Domain Theoretic Picard Method. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Juha Kontinen, Heribert Vollmer |
On Second-Order Monadic Groupoidal Quantifiers. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Graçaliz Pereira Dimuro, Benjamín R. C. Bedregal, Renata Hax Sander Reiser, Regivan Hugo Nunes Santiago |
Interval Additive Generators of Interval T-Norms. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana |
On a Graph Calculus for Algebras of Relations. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
Relational language, reasoning from hypotheses, graph calculus, completeness, complementation |
1 | Didier Galmiche, Yakoub Salhi |
Labelled Calculi for Lukasiewicz Logics. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Mezhirov, Nikolai K. Vereshchagin |
On Game Semantics of the Affine and Intuitionistic Logics. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Samuel J. Lomonaco |
Talks on Quantum Computing. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Calvès, Maribel Fernández |
Nominal Matching and Alpha-Equivalence. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
?-equivalence, nominal terms, matching, Binders |
1 | Silvio do Lago Pereira, Leliane Nunes de Barros |
Using alpha-ctl to Specify Complex Planning Goals. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Wilfrid Hodges, Ruy J. G. B. de Queiroz (eds.) |
Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Livio Robaldo |
Skolem Theory and Generalized Quantifiers. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tamar Aizikowitz, Michael Kaminski |
Conjunctive Grammars and Alternating Pushdown Automata. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Santiago Figueira, Daniel Gorín, Rafael Grimson |
On the Formal Semantics of IF-Like Logics. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Carl Pollard |
Hyperintensional Questions. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Murdoch Gabbay, Dominic P. Mulligan |
One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo |
On Characteristic Constants of Theories Defined by Kolmogorov Complexity. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mario R. F. Benevides, Luis Menasché Schechter |
A Propositional Dynamic Logic for CCS Programs. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alan Bundy, Michael Chan 0002 |
Towards Ontology Evolution in Physics. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera |
Expressive Power and Decidability for Memory Logics. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jeff B. Paris, Soroush R. Rad |
Inference Processes for Quantified Predicate Knowledge. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
inference processes, Uncertain reasoning, Renyi Entropies, probability logic |
1 | Ofer Arieli, Anna Zamansky |
Reasoning with Uncertainty by Nmatrix-Metric Semantics. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy, Jacob Johannsen |
Inter-deriving Semantic Artifacts for Object-Oriented Programming. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Edward A. Hirsch, Dmitry Itsykson |
An Infinitely-Often One-Way Function Based on an Average-Case Assumption. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mark Steedman |
The Grammar of Scope. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael Moortgat |
Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Villagra, Benjamín Barán |
Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
Adaptive Fitness Function, Local Search, Ant Colony Optimization, SAT |
1 | André Hirschowitz, Marco Maggesi |
Modules over Monads and Linearity. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | André Luiz Galdino, César A. Muñoz, Mauricio Ayala-Rincón |
Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Murdoch Gabbay, Aad Mathijssen |
A Formal Calculus for Informal Equality with Binding. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Oliva |
Computational Interpretations of Classical Linear Logic. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Annie Foret |
Pregroup Calculus as a Logic Functor. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
Lambek Categorial Grammars, Logic Functor, Cut Elimination, Pregroups |
1 | John H. Reif, Thomas H. LaBean |
Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Leivant, Ruy J. G. B. de Queiroz (eds.) |
Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hicham Bensaid, Ricardo Caferra, Nicolas Peltier |
Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yde Venema |
A Modal Distributive Law (abstract). |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ariya Isihara |
Hydra Games and Tree Ordinals. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Brasoveanu 0001 |
Structured Anaphora to Quantifier Domains: A Unified Account of Quantificational and Modal Subordination. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Bolander, René Rydhof Hansen |
Hybrid Logical Analyses of the Ambient Calculus. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
static analysis, Hybrid logic, mobile ambients |
1 | Alexander Ja. Dikovsky |
A Finite-State Functional Grammar Architecture. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Raffaella Bernardi, Michael Moortgat |
Continuation Semantics for Symmetric Categorial Grammar. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sven Hartmann, Sebastian Link |
Numerical Constraints for XML. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Kim Solin |
A Sketch of a Dynamic Epistemic Semiring. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|