: Most-Read Full-Text Articles http://logcom.oxfordjournals.org/ Most-read rankings are recalculated at the beginning of the month based on usage of full-text and PDF views for the previous month. 2009-11-14 <![CDATA[Differential-algebraic Dynamic Logic for Differential-algebraic Programs]]> http://logcom.oxfordjournals.org/cgi/content/short/exn070v3?rss=1&ssource=mfc Dec 5, 2008; 0:703-70
Original Papers]]> Andre Platzer 2008-12-05 Oxford University Press <![CDATA[A Topological Study of the Closed Fragment of GLP]]> http://logcom.oxfordjournals.org/cgi/content/short/exp043v1?rss=1&ssource=mfc Aug 12, 2009; 0:431-43
Original Papers]]> Thomas Icard 2009-08-12 Oxford University Press <![CDATA[Decision Procedures for BDI Logics]]> http://logcom.oxfordjournals.org/cgi/content/short/8/3/293?rss=1&ssource=mfc Jun 1, 1998; 8:293-343
Articles]]> ANAND S. RAO, MICHAEL P. GEORGEFF 1998-06-01 10.1093/logcom/8.3.293 Oxford University Press <![CDATA[Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems]]> http://logcom.oxfordjournals.org/cgi/content/short/12/1/55?rss=1&ssource=mfc Feb 1, 2002; 12:55-117
Articles]]> Pietro Panzarasa, Nicholas R. Jennings, Timothy J. Norman 2002-02-01 10.1093/logcom/12.1.55 Oxford University Press <![CDATA[Logic as a Vector System]]> http://logcom.oxfordjournals.org/cgi/content/short/15/5/751?rss=1&ssource=mfc Oct 1, 2005; 15:751-765
Original Articles]]> Jonathan Westphal, Jim Hardy 2005-10-01 10.1093/logcom/exi040 Oxford University Press <![CDATA[Monotonic Answer Set Programming]]> http://logcom.oxfordjournals.org/cgi/content/short/19/4/539?rss=1&ssource=mfc Aug 1, 2009; 19:539-564
Original Papers]]> Martin Gebser, Mona Gharib, Robert Mercer, Torsten Schaub 2009-08-01 Oxford University Press <![CDATA[Base Revision for Ontology Debugging]]> http://logcom.oxfordjournals.org/cgi/content/short/19/5/721?rss=1&ssource=mfc Oct 1, 2009; 19:721-743
Original Articles]]> Marcio M. Ribeiro, Renata Wassermann 2009-10-01 Oxford University Press <![CDATA[A Multi-Agent System for Dynamic Ontologies]]> http://logcom.oxfordjournals.org/cgi/content/short/19/5/831?rss=1&ssource=mfc Oct 1, 2009; 19:831-858
Original Articles]]> Kevin Ottens, Nathalie Hernandez, Marie-Pierre Gleizes, Nathalie Aussenac-Gilles 2009-10-01 Oxford University Press <![CDATA[Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics]]> http://logcom.oxfordjournals.org/cgi/content/short/exp052v1?rss=1&ssource=mfc Sep 17, 2009; 0:521-52
Original Papers]]> Franco Montagna, Carles Noguera 2009-09-17 Oxford University Press <![CDATA[Mental States Recognition from Communication]]> http://logcom.oxfordjournals.org/cgi/content/short/12/1/119?rss=1&ssource=mfc Feb 1, 2002; 12:119-136
Articles]]> Aldo Franco Dragoni, Paolo Giorgini, Luciano Serafini 2002-02-01 10.1093/logcom/12.1.119 Oxford University Press <![CDATA[On Instance-level Update and Erasure in Description Logic Ontologies]]> http://logcom.oxfordjournals.org/cgi/content/short/19/5/745?rss=1&ssource=mfc Oct 1, 2009; 19:745-770
Original Articles]]> Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati 2009-10-01 Oxford University Press <![CDATA[Category-based Equational Reasoning: An Approach to Ontology Integration]]> http://logcom.oxfordjournals.org/cgi/content/short/19/5/791?rss=1&ssource=mfc Oct 1, 2009; 19:791-806
Original Articles]]> Joe Geldart, William Song 2009-10-01 Oxford University Press <![CDATA[On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice]]> http://logcom.oxfordjournals.org/cgi/content/short/exp062v1?rss=1&ssource=mfc Oct 7, 2009; 0:621-62
Original Papers]]> Felix Bou, Francesc Esteva, Lluis Godo, Ricardo Oscar Rodriguez 2009-10-07 Oxford University Press <![CDATA[Sets, types and type-checking]]> http://logcom.oxfordjournals.org/cgi/content/short/9/6/959?rss=1&ssource=mfc Dec 1, 1999; 9:959-975
Articles]]> R Turner 1999-12-01 10.1093/logcom/9.6.959 Oxford University Press <![CDATA[Reasoning Support for Mapping Revision]]> http://logcom.oxfordjournals.org/cgi/content/short/19/5/807?rss=1&ssource=mfc Oct 1, 2009; 19:807-829
Original Articles]]> Christian Meilicke, Heiner Stuckenschmidt, Andrei Tamilin 2009-10-01 Oxford University Press <![CDATA[Quantitative Information Flow, Relations and Polymorphic Types]]> http://logcom.oxfordjournals.org/cgi/content/short/15/2/181?rss=1&ssource=mfc Apr 1, 2005; 15:181-199
Original Articles]]> David Clark, Sebastian Hunt, Pasquale Malacaria 2005-04-01 10.1093/logcom/exi009 Oxford University Press <![CDATA[Comparing LTL Semantics for Runtime Verification]]> http://logcom.oxfordjournals.org/cgi/content/short/exn075v1?rss=1&ssource=mfc Feb 26, 2009; 0:751-75
Original Papers]]> Andreas Bauer, Martin Leucker, Christian Schallhart 2009-02-26 Oxford University Press <![CDATA[Collaborative Runtime Verification with Tracematches]]> http://logcom.oxfordjournals.org/cgi/content/short/exn077v1?rss=1&ssource=mfc Nov 27, 2008; 0:771-77
Original Papers]]> Eric Bodden, Laurie Hendren, Patrick Lam, Ondrej Lhotak, Nomair A. Naeem 2008-11-27 Oxford University Press <![CDATA[Logics Preserving Degrees of Truth from Varieties of Residuated Lattices]]> http://logcom.oxfordjournals.org/cgi/content/short/exp030v1?rss=1&ssource=mfc Jun 26, 2009; 0:301-30
Original Papers]]> Felix Bou, Francesc Esteva, Josep Maria Font, Angel J. Gil, Lluis Godo, Antoni Torrens, Ventura Verdu 2009-06-26 Oxford University Press <![CDATA[Relevance and Conjunction]]> http://logcom.oxfordjournals.org/cgi/content/short/exp068v1?rss=1&ssource=mfc Oct 20, 2009; 0:681-68
Original Papers]]> Edwin D. Mares 2009-10-20 Oxford University Press <![CDATA[Introducing the Logic and Law Corner]]> http://logcom.oxfordjournals.org/cgi/content/short/18/1/1?rss=1&ssource=mfc Feb 1, 2008; 18:1-12
Original Articles]]> Trevor Bench-Capon, Henry Prakken 2008-02-01 Oxford University Press <![CDATA[Ten Philosophical Problems in Belief Revision]]> http://logcom.oxfordjournals.org/cgi/content/short/13/1/37?rss=1&ssource=mfc Feb 1, 2003; 13:37-49
Articles]]> Sven Ove Hansson 2003-02-01 10.1093/logcom/13.1.37 Oxford University Press <![CDATA[Underspecified Interpretations in a Curry-typed Representation Language]]> http://logcom.oxfordjournals.org/cgi/content/short/15/2/131?rss=1&ssource=mfc Apr 1, 2005; 15:131-143
Original Articles]]> Chris Fox, Shalom Lappin 2005-04-01 10.1093/logcom/exi006 Oxford University Press <![CDATA[Semantics and Stratification]]> http://logcom.oxfordjournals.org/cgi/content/short/15/2/145?rss=1&ssource=mfc Apr 1, 2005; 15:145-158
Original Articles]]> Raymond Turner 2005-04-01 10.1093/logcom/exi007 Oxford University Press <![CDATA[A First-order Theory of Communication and Multi-agent Plans]]> http://logcom.oxfordjournals.org/cgi/content/short/15/5/701?rss=1&ssource=mfc Oct 1, 2005; 15:701-749
Original Articles]]> Ernest Davis, Leora Morgenstern 2005-10-01 10.1093/logcom/exi027 Oxford University Press <![CDATA[Extracting Frame-Semantics Knowledge using Lattice Theory]]> http://logcom.oxfordjournals.org/cgi/content/short/18/3/361?rss=1&ssource=mfc Jun 1, 2008; 18:361-384
Original Articles]]> Francisco J. Valverde-Albacete 2008-06-01 Oxford University Press <![CDATA[Semantics-Based Translation Methods for Modal Logics]]> http://logcom.oxfordjournals.org/cgi/content/short/1/5/691?rss=1&ssource=mfc Oct 1, 1991; 1:691-746
Articles]]> H. J. OHLBACH 1991-10-01 10.1093/logcom/1.5.691 Oxford University Press <![CDATA[Logic, Self-awareness and Self-improvement: the Metacognitive Loop and the Problem of Brittleness]]> http://logcom.oxfordjournals.org/cgi/content/short/15/1/21?rss=1&ssource=mfc Feb 1, 2005; 15:21-40
Original Articles]]> Michael L. Anderson, Donald R. Perlis 2005-02-01 10.1093/logcom/exh034 Oxford University Press <![CDATA[Systems for Knowledge and Belief]]> http://logcom.oxfordjournals.org/cgi/content/short/3/2/173?rss=1&ssource=mfc Jan 1, 1993; 3:173-195
Articles]]> WIEBE van der HOEK 1993-01-01 10.1093/logcom/3.2.173 Oxford University Press <![CDATA[Adding the Everywhere Operator to Propositional Logic]]> http://logcom.oxfordjournals.org/cgi/content/short/8/1/119?rss=1&ssource=mfc Feb 1, 1998; 8:119-130
Articles]]> DAVID GRIES, FRED B. SCHNEIDER 1998-02-01 10.1093/logcom/8.1.119 Oxford University Press <![CDATA[Agents that Reason and Negotiate by Arguing]]> http://logcom.oxfordjournals.org/cgi/content/short/8/3/261?rss=1&ssource=mfc Jun 1, 1998; 8:261-292
Articles]]> SIMON PARSONS, CARLES SIERRA, NICK JENNINGS 1998-06-01 10.1093/logcom/8.3.261 Oxford University Press <![CDATA[The cooperative problem-solving process]]> http://logcom.oxfordjournals.org/cgi/content/short/9/4/563?rss=1&ssource=mfc Aug 1, 1999; 9:563-592
Articles]]> M Wooldridge, NR Jennings 1999-08-01 10.1093/logcom/9.4.563 Oxford University Press <![CDATA[Reviewing the Classical and the de Bruijn Notation for {lambda}-calculus and Pure Type Systems]]> http://logcom.oxfordjournals.org/cgi/content/short/11/3/363?rss=1&ssource=mfc Jun 1, 2001; 11:363-394
Articles]]> Fairouz Kamareddine 2001-06-01 10.1093/logcom/11.3.363 Oxford University Press <![CDATA[A Modal Logic for Coalitional Power in Games]]> http://logcom.oxfordjournals.org/cgi/content/short/12/1/149?rss=1&ssource=mfc Feb 1, 2002; 12:149-166
Articles]]> Marc Pauly 2002-02-01 10.1093/logcom/12.1.149 Oxford University Press <![CDATA[A Linear Spine Calculus]]> http://logcom.oxfordjournals.org/cgi/content/short/13/5/639?rss=1&ssource=mfc Oct 1, 2003; 13:639-688
Articles]]> Iliano Cervesato, Frank Pfenning 2003-10-01 10.1093/logcom/13.5.639 Oxford University Press <![CDATA[Review: Views into the Chinese Room: New Essays on Searle and Artificial Intelligence]]> http://logcom.oxfordjournals.org/cgi/content/short/14/2/325?rss=1&ssource=mfc Apr 1, 2004; 14:325-326
Articles]]> Richard E. Overill 2004-04-01 10.1093/logcom/14.2.325 Oxford University Press <![CDATA[Event Calculus Reasoning Through Satisfiability]]> http://logcom.oxfordjournals.org/cgi/content/short/14/5/703?rss=1&ssource=mfc Oct 1, 2004; 14:703-730
Articles]]> Erik T. Mueller 2004-10-01 10.1093/logcom/14.5.703 Oxford University Press <![CDATA[Admissible Rules of Modal Logics]]> http://logcom.oxfordjournals.org/cgi/content/short/15/4/411?rss=1&ssource=mfc Aug 1, 2005; 15:411-431
Original Articles]]> Emil Jerabek 2005-08-01 10.1093/logcom/exi029 Oxford University Press <![CDATA[Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity]]> http://logcom.oxfordjournals.org/cgi/content/short/16/2/257?rss=1&ssource=mfc Apr 1, 2006; 16:257-285
Original Articles]]> Zoran Ognjanovic 2006-04-01 10.1093/logcom/exi077 Oxford University Press <![CDATA[A Tableau for Bundled CTL]]> http://logcom.oxfordjournals.org/cgi/content/short/17/1/117?rss=1&ssource=mfc Feb 1, 2007; 17:117-132
Original Articles]]> Mark Reynolds 2007-02-01 Oxford University Press <![CDATA[Modal Operators over Constructive Logic]]> http://logcom.oxfordjournals.org/cgi/content/short/18/6/815?rss=1&ssource=mfc Dec 1, 2008; 18:815-829
Corner Article]]> Evgeny Yu. Sherkhonov 2008-12-01 Oxford University Press <![CDATA[Efficiently Querying RDF(S) Ontologies with Answer Set Programming]]> http://logcom.oxfordjournals.org/cgi/content/short/19/4/671?rss=1&ssource=mfc Aug 1, 2009; 19:671-695
Original Papers]]> Giovambattista Ianni, Alessandra Martello, Claudio Panetta, Giorgio Terracina 2009-08-01 Oxford University Press <![CDATA[Trust-based Revision for Expressive Web Syndication]]> http://logcom.oxfordjournals.org/cgi/content/short/19/5/771?rss=1&ssource=mfc Oct 1, 2009; 19:771-790
Original Articles]]> Jennifer Golbeck, Christian Halaschek-Wiener 2009-10-01 Oxford University Press <![CDATA[Speech Acts, Epistemic Planning and Grice's Maxims]]> http://logcom.oxfordjournals.org/cgi/content/short/exm073v1?rss=1&ssource=mfc Jun 1, 2008; 18:431-457
Original Articles]]> Allan Ramsay, Debora Field 2008-06-01 Oxford University Press <![CDATA[Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic]]> http://logcom.oxfordjournals.org/cgi/content/short/exn059v1?rss=1&ssource=mfc Nov 17, 2008; 0:591-59
Original Papers]]> Matthias Baaz, George Metcalfe 2008-11-17 Oxford University Press <![CDATA[Exemplaric Expressivity of Modal Logics]]> http://logcom.oxfordjournals.org/cgi/content/short/exn093v1?rss=1&ssource=mfc Feb 3, 2009; 0:931-93
Original Papers]]> Bart Jacobs, Ana Sokolova 2009-02-03 Oxford University Press <![CDATA[A Complete Deductive System for Probability Logic]]> http://logcom.oxfordjournals.org/cgi/content/short/exp031v1?rss=1&ssource=mfc Jun 16, 2009; 0:311-31
Original Papers]]> Chunlai Zhou 2009-06-16 Oxford University Press <![CDATA[Ackermann's Implication for Typefree Logic]]> http://logcom.oxfordjournals.org/cgi/content/short/11/1/5?rss=1&ssource=mfc Feb 1, 2001; 11:5-23
Articles]]> Klaus Robering 2001-02-01 10.1093/logcom/11.1.5 Oxford University Press <![CDATA[Detecting Loops During Proof Search in Propositional Affine Logic]]> http://logcom.oxfordjournals.org/cgi/content/short/16/1/61?rss=1&ssource=mfc Feb 1, 2006; 16:61-133
Original Articles]]> Tatjana Lutovac, James Harland 2006-02-01 10.1093/logcom/exi072 Oxford University Press <![CDATA[The Taming of the Cut. Classical Refutations with Analytic Cut]]> http://logcom.oxfordjournals.org/cgi/content/short/4/3/285?rss=1&ssource=mfc Jun 1, 1994; 4:285-319
Articles]]> MARCELLO D'' AGOSTINO, MARCO MONDADORI 1994-06-01 10.1093/logcom/4.3.285 Oxford University Press