首页>外文期刊>社会科学>哲学、宗教>Journal of Applied Logic

Journal of Applied Logic

SCIEI

中文名称：应用逻辑学报

ISSN：1570-8683
出版周期：Quarterly

发文量：422

获取外文期刊封面目录资料

期刊论文

热门论文

年度选择

2017
- 第3期
- 第5期
- 第7期
- 第9期
- 第12期
- 第decasuppla期
- 第ptaa期
- 第ptab期
2016
- 第1期
- 第2期
- 第3期
- 第5期
- 第7期
- 第9期
- 第11期
2015
- 第1期
- 第2期
- 第3期
- 第2ptaa期
- 第2ptab期
2014
- 第1期
- 第2期
- 第3期
- 第4期
2013
- 第1期
- 第2期
- 第3期
- 第4期
2012
- 第1期
- 第3期
- 第4期
2011
- 第1期
- 第2期
- 第3期
- 第4期
2010
- 第1期
- 第2期
- 第3期
- 第4期
2009
- 第1期
- 第2期
- 第3期
- 第4期
2008
- 第1期
- 第2期
- 第3期
- 第4期
2007
- 第1期
- 第2期
- 第3期
- 第4期
2006
- 第1期
- 第2期
- 第3期
- 第4期
2005
- 第1期
- 第2期
- 第4期

更多>>

全选（0）

1.Blueprint for a dynamic deontic logic

机译：动态宗法逻辑的蓝图
- 作者：Krister Segerberg
- 期刊名称：《Journal of Applied Logic》 | 2009年第4期
- deontic logic;
- dynamic logic;
- events;
- real actions;
- deontic actions;
- norms;
- chisholm's paradox;
- forrester's paradox;
- ross's paradox;
2.Two approaches to the problems of self-attacking arguments and general odd-length cycles of attack

机译：自攻参数和一般奇长攻击周期的两种方法
- 作者：Gustavo A. Bodanza;Fernando A. Tohme
- 期刊名称：《Journal of Applied Logic》 | 2009年第4期
- argumentation frameworks;
- self-attacking arguments;
- odd-length cycles of attack;
- credulous semantics;
- lottery paradox;
- game-theory;
3.Mathematical foundations of consciousness

机译：意识的数学基础
- 作者：Willard L. Miranker;Gregg J. Zuckerman
- 期刊名称：《Journal of Applied Logic》 | 2009年第4期
- foundations of consciousness;
- neural networks;
- non-well-founded sets;
- russell operator;
- semantics of operators;
4.A formal account of Socratic-style argumentation

机译：对苏格拉底式论证的正式描述
- 作者：Martin W.A. Caminada
- 期刊名称：《Journal of Applied Logic》 | 2008年第1期
- argumentation;
- dialogue;
- inference;
5.Simulating Turing machines on Maurer machines

机译：在Maurer机器上模拟图灵机
- 作者：J.A. Bergstra;C.A. Middelburg
- 期刊名称：《Journal of Applied Logic》 | 2008年第1期
- turing machine;
- maurer machine;
- thread algebra;
- strategic interleaving;
- thread forking;
- fair interleaving strategy;
6.Axiomatizing geometric constructions

机译：公理化几何结构
- 作者：Victor Pambuccian
- 期刊名称：《Journal of Applied Logic》 | 2008年第1期
7.Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions

机译：高阶统一：Huet方法与基于显式替换的方法之间的结构关系
- 作者：Flavio L.C. de Moura;Mauricio Ayala-Rincon;Fairouz Kamareddine
- 期刊名称：《Journal of Applied Logic》 | 2008年第1期
- Higher-Order Unification;
- Calculi of explicit substitutions;
8.Similarity based approximate reasoning: fuzzy control

机译：基于相似度的近似推理：模糊控制
- 作者：Swapan Raha;Abul Hossain;Sujata Ghosh
- 期刊名称：《Journal of Applied Logic》 | 2008年第1期
- approximate reasoning;
- fuzzy set;
- similarity index;
- specificity measure;
- fuzzy control;
9.Agent strands in the action language nC+

机译：特工使用动作语言nC +
- 作者：Robert Craven;Marek Sergot
- 期刊名称：《Journal of Applied Logic》 | 2008年第2期
- action languages;
- transition systems;
- deontic logic;
- norm-governed agent systems;
- formal specification;
10.Intermediaries and intervenients in normative systems

机译：规范系统中的中介人和中介人
- 作者：Lars Lindahl;Jan Odelstad
- 期刊名称：《Journal of Applied Logic》 | 2008年第2期
- intermediary;
- intermediate concept;
- intervenient;
- normative system;
- legal concept;
- concept formation;
- dummett;
- counts-as;
11.Living up to one's commitments: Agency, strategies and trust

机译：履行自己的承诺：代理，策略和信任
- 作者：Thomas Mueller
- 期刊名称：《Journal of Applied Logic》 | 2008年第2期
- promises;
- contracts;
- stit logic;
- strategy;
- commitment;
- trustworthiness;
12.The many faces of counts-as: A formal analysis of constitutive rules

机译：计数的许多面像：构成规则的形式分析
- 作者：Davide Grossi;John-Jules Ch. Meyer;Frank Dignum
- 期刊名称：《Journal of Applied Logic》 | 2008年第2期
- counts-as;
- constitutive rules;
- institutions;
- context;
- modal logic;
13.The normative aspect of signalling and the distinction between performative and constative

机译：信号的规范方面以及执行性和构造性之间的区别
- 作者：Andrew J.I. Jones;Steven O. Kimbrough
- 期刊名称：《Journal of Applied Logic》 | 2008年第2期
- agent communication languages;
- speech act theory;
- applied modal logic;
- trust;
- business communication;
- trusted-third-party;
14.Addressing moral problems through practical reasoning

机译：通过实践推理解决道德问题
- 作者：Katie Atkinson;Trevor Bench-Capon
- 期刊名称：《Journal of Applied Logic》 | 2008年第2期
- practical reasoning;
- argumentation;
- values;
- audiences;
- moral principles;
- AATS;
15.Editorial

机译：社论
- 期刊名称：《Journal of Applied Logic》 | 2008年第2期
16.Substantive and procedural norms in normative multiagent systems

机译：规范性多主体系统中的实质性和程序性规范
- 作者：Guido Boella;Leendert van der Torre
- 期刊名称：《Journal of Applied Logic》 | 2008年第2期
- deontic logic;
- multiagent systems;
- normative systems;
- procedural norms;
17.Hilbert's epsilon as an operator of indefinite committed choice

机译：希尔伯特（Hilbert）的epsilon作为无限承诺选择的运营商
- 作者：Claus-Peter Wirth
- 期刊名称：《Journal of Applied Logic》 | 2008年第3期
18.The three bases for the enthymeme: A dialogical theory

机译：词根的三个基础：对话理论
- 作者：D. Walton
- 期刊名称：《Journal of Applied Logic》 | 2008年第3期
- formal dialogue systems;
- argument visualization;
- common knowledge;
- argumentation schemes;
- implicit commitments;
19.Circle graphs and monadic second-order logic

机译：圆图和单子二阶逻辑
- 作者：Bruno Courcelle
- 期刊名称：《Journal of Applied Logic》 | 2008年第3期
20.Hybrids of the ~×-translation for CZF~ω

机译：CZF〜ω的〜×-翻译的杂种
- 作者：Dominic Schulte
- 期刊名称：《Journal of Applied Logic》 | 2008年第3期
21.The seven virtues of simple type theory

机译：简单类型理论的七个优点
- 作者：William M. Farmer
- 期刊名称：《Journal of Applied Logic》 | 2008年第3期
- higher-order logic;
- type theory;
- practical logics;
- nonstandard models;
- peano arithmetic;
- complete ordered field;
22.Combined reasoning by automated cooperation

机译：通过自动合作进行综合推理
- 作者：Christoph Benzmueller;Volker Sorge;Mateja Jamnik;Manfred Kerber
- 期刊名称：《Journal of Applied Logic》 | 2008年第3期
- automated reasoning;
- system integration;
- agent architecture;
- higher-order and first-order proving;
- computer algebra;
- model generators;
23.Inconsistency-tolerant description logic. Part II: A tableau algorithm for CALC~C

机译：不一致的描述逻辑。第二部分：CALC〜C的表格算法
- 作者：S.P. Odintsov;H. Wansing
- 期刊名称：《Journal of Applied Logic》 | 2008年第3期
- description logic;
- tableau algorithms;
- constructive logic;
- paraconsistent logic;
24.Undoing the effects of action sequences

机译：撤消动作序列的影响
- 作者：Thomas Eiter;Esra Erdem;Wolfgang Faber
- 期刊名称：《Journal of Applied Logic》 | 2008年第3期
- reasoning about actions;
- undo actions;
- reverse plans;
- execution reversal;
- computational complexity;
- logic-based planning;
- execution monitoring;
25.Experimenting with computing

机译：实验计算
- 作者：Meurig Beynon;Steve Russ
- 期刊名称：《Journal of Applied Logic》 | 2008年第4期
- empirical modelling;
- observation;
- experiment;
- computing;
- theory;
- radical empiricism;
- dependency;
- agency;
26.Metaphor in computer science

机译：计算机科学中的隐喻
- 作者：T.R. Colburn;G.M. Shute
- 期刊名称：《Journal of Applied Logic》 | 2008年第4期
- metaphor;
- abstraction;
- computer science;
- ontology;
- virtual entities;
27.Reasoning with prioritized information by iterative aggregation of distance functions

机译：通过距离函数的迭代聚合对优先信息进行推理
- 作者：Ofer Arieli
- 期刊名称：《Journal of Applied Logic》 | 2008年第4期
- prioritized theories;
- distance semantics;
- uncertainty;
- belief revision;
- information integration;
28.Extended-order algebras

机译：扩展阶代数
- 作者：Cosimo Guido;Paola Toto
- 期刊名称：《Journal of Applied Logic》 | 2008年第4期
- poset;
- complete lattice;
- extended-order algebra;
- implication algebra;
- partially ordered groupoid;
- residuated lattice;
- many-valued mathematics;
29.The Philosophy of Computer Science

机译：计算机科学哲学
- 作者：Raymond Turner;Amnon H. Eden
- 期刊名称：《Journal of Applied Logic》 | 2008年第4期
30.Computation, hypercomputation, and physical science

机译：计算，超计算和物理科学
- 作者：Konstantine Arkoudas
- 期刊名称：《Journal of Applied Logic》 | 2008年第4期
- hypercomputation;
- church-turing thesis;
- candy's thesis;
- mechanical computability;
- algorithms;
- turing limit;
- physical science;
- physical computability;
31.Challenging epistemology: Interactive proofs and zero knowledge

机译：富有挑战性的认识论：互动证明和零知识
- 作者：Justin Bledin
- 期刊名称：《Journal of Applied Logic》 | 2008年第4期
- interactive proofs;
- zero knowledge;
- epistemology of mathematics;
32.The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself

机译：逻辑学家宣言：终于让基于逻辑的人工智能成为其自身的领域
- 作者：Selmer Bringsjord
- 期刊名称：《Journal of Applied Logic》 | 2008年第4期
- logic;
- artificial intelligence;
- Al;
- logic-based Al;
- sub-symbolic Al;
- connectionism;
- continuous systems;
33.Authenticity: a red herring?

机译：真实性：红鲱鱼？
- 作者：J.E.P. Currall;M.S. Moss;S.A.J. Stuart
- 期刊名称：《Journal of Applied Logic》 | 2008年第4期
- identity;
- transitivity;
- truth;
- authenticity;
34.Dark programming and the case for the rationality of programs

机译：黑暗编程和程序合理性的理由
- 作者：Lars-Erik Janlert
- 期刊名称：《Journal of Applied Logic》 | 2008年第4期
- dark programming;
- subjective method;
- rationality of programs;
- justifiability;
35.Program algebra with a jump-shift instruction

机译：带有移位指令的程序代数
- 作者：J.A. Bergstra;C.A. Middelburg
- 期刊名称：《Journal of Applied Logic》 | 2008年第4期
- program algebra;
- jump-shift instruction;
- thread algebra;
- thread extraction;
- execution mechanism;
36.Representation theorems for explanatory reasoning based on cumulative models

机译：基于累积模型的解释性推理的表示定理
- 作者：Arelis Diaz;Carlos Uzcategui
- 期刊名称：《Journal of Applied Logic》 | 2008年第4期
- explanatory reasoning;
- abduction;
- cumulative models;
37.Algorithms and computations for foldedness of P-ideals in BCI-algebras

机译：BCI代数中P理想折叠的算法和计算
- 作者：Celestin Lele;Salissou Moutari;M.L. Ndeffo Mbah
- 期刊名称：《Journal of Applied Logic》 | 2008年第4期
- BCl-algebra;
- fuzzy point;
- P-ideals;
- fuzzy P-ideals;
- n-fold P-ideals;
38.A note on an extension of PDL

机译：关于PDL扩展的说明
- 作者：Stefan Goeller;Dirk Nowotka
- 期刊名称：《Journal of Applied Logic》 | 2008年第4期
39.Using logical relevance for question answering

机译：使用逻辑相关性回答问题
- 作者：Marco De Boni
- 期刊名称：《Journal of Applied Logic》 | 2007年第1期
- question answering;
- logical relevance;
- relevance;
40.Open answer set programming for the semantic web

机译：语义网的开放答案集编程
- 作者：Stijn Heymans;Davy Van Nieuwenborgh;Dirk Vermeir
- 期刊名称：《Journal of Applied Logic》 | 2007年第1期
- answer set programming;
- semantic web;
- description logics;
- open domain reasoning;
41.Question answering and database querying: Bridging the gap with generalized quantification

机译：问题解答和数据库查询：弥合差距与广义量化
- 作者：Antonio Badia
- 期刊名称：《Journal of Applied Logic》 | 2007年第1期
- generalized quantifier;
- question answering;
- query language;
- formal linguistics;
42.Data-driven type checking in open domain question answering

机译：开放域问答中的数据驱动类型检查
- 作者：Stefan Schlobach;David Ahn;Maarten de Rijke;Valentin Jijkoun
- 期刊名称：《Journal of Applied Logic》 | 2007年第1期
- type checking;
- question answering;
- data-driven methods;
43.COGEX: A semantically and contextually enriched logic prover for question answering

机译：COGEX：语义和上下文丰富的逻辑证明者，用于回答问题
- 作者：Dan Moldovan;Christine Clark;Sanda Harabagiu;Daniel Hodges
- 期刊名称：《Journal of Applied Logic》 | 2007年第1期
- question answering;
- natural language processing;
- temporal reasoning;
- automated reasoning;
- ontologies;
44.Questions and Answers: Theoretical and Applied Perspectives

机译：问答：理论和应用观点
- 作者：Raffaella Bernardi;Bonnie Webber
- 期刊名称：《Journal of Applied Logic》 | 2007年第1期
45.Execution architectures for program algebra

机译：程序代数的执行架构
- 作者：Jan A. Bergstra;Alban Ponse
- 期刊名称：《Journal of Applied Logic》 | 2007年第1期
- halting problem;
- execution of programs;
- program algebra;
- turing machine;
46.Question answering from structured knowledge sources

机译：来自结构化知识源的问题解答
- 作者：Anette Frank;Hans-Ulrich Krieger;Feiyu Xu;Hans Uszkoreit;Berthold Crysmann;Brigitte Jorg;Ulrich Schafer
- 期刊名称：《Journal of Applied Logic》 | 2007年第1期
- QA;
- hybrid NLP;
- multilinguality;
- RMRS;
- question semantics;
- ontology modeling;
- data base queries;
47.Answer comparison in automated question answering

机译：自动问答中的答案比较
- 作者：Tiphaine Dalmas;Bonnie Webber
- 期刊名称：《Journal of Applied Logic》 | 2007年第1期
- question answering;
- web search;
- information fusion;
- clustering;
- multiple answers;
- model-view-controller;
48.Defining answer classes using resolution refutation

机译：使用解析反驳定义答案类别
- 作者：Debra T. Burhans;Stuart C. Shapiro
- 期刊名称：《Journal of Applied Logic》 | 2007年第1期
- resolution;
- automated deduction;
49.Security of multi-agent systems: A case study on comparison shopping

机译：多主体系统的安全性：比较购物案例研究
- 作者：Dieter Hutter;Heiko Mantel;Ina Schaefer;Axel Schairer
- 期刊名称：《Journal of Applied Logic》 | 2007年第2期
- formal verification;
- information security;
- information flow control;
- multi-agent systems;
- compositional reasoning;
50.Fresh Logic: proof-theory and semantics for FM and nominal techniques

机译：新鲜逻辑：FM和名义技术的证明理论和语义
- 作者：Murdoch J. Gabbay
- 期刊名称：《Journal of Applied Logic》 | 2007年第2期
- nominal logic;
- first-order logic;
- semantics of intuitionistic logic;
- kripke semantics;
- freshness;
- nominal sets;
- fraenkel-mostowski techniques;
51.Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams

机译：通过有序二进制决策图进行模型检查，自动验证多主体系统
- 作者：Franco Raimondi;Alessio Lomuscio
- 期刊名称：《Journal of Applied Logic》 | 2007年第2期
- model checking;
- multi-agent systems;
- epistemic logic;
- temporal logic;
- formal verification;
52.The computational complexity of scenario-based agent verification and design

机译：基于场景的代理验证和设计的计算复杂性
- 作者：Yves Bontemps;Pierre-Yves Schobbens
- 期刊名称：《Journal of Applied Logic》 | 2007年第2期
- scenarios;
- strategies;
- AUML;
- live sequence charts;
- synthesis;
- model checking;
- computational complexity;
53.Specifying and verifying interaction protocols in a temporal action logic

机译：在时间动作逻辑中指定和验证交互协议
- 作者：Laura Giordano;Alberto Martelli;Camilla Schwind
- 期刊名称：《Journal of Applied Logic》 | 2007年第2期
- multiagent systems;
- temporal logic;
- protocol verification;
54.Precise specification matching for adaptive reuse in embedded systems

机译：精确的规格匹配，可在嵌入式系统中进行自适应重用
- 作者：Hai-Feng Guo;Miao Liu;Partha S. Roop;C.R. Ramakrishnan;I.V. Ramakrishnan
- 期刊名称：《Journal of Applied Logic》 | 2007年第2期
- component reuse;
- specification matching;
- formal methods;
- tabled resolution;
- logic programming;
- justification;
55.Verifiable agent dialogues

机译：可验证的代理对话
- 作者：Christopher D. Walton
- 期刊名称：《Journal of Applied Logic》 | 2007年第2期
- multi-agent systems;
- agent communication;
- dialogue protocols;
- model checking;
56.Logic-Based Agent Verification

机译：基于逻辑的代理验证
- 作者：Michael Fisher;Munindar Singh;Diana Spears;Mike Wooldridge
- 期刊名称：《Journal of Applied Logic》 | 2007年第2期
57.A verification framework for agent programming with declarative goals

机译：具有声明性目标的代理编程的验证框架
- 作者：F.S. de Boer;K.V. Hindriks;W. van der Hoek;J.-J.Ch. Meyer
- 期刊名称：《Journal of Applied Logic》 | 2007年第2期
- agent programming language;
- declarative goals;
- agents;
- beliefs;
- programming logic;
58.Line-based affine reasoning in Euclidean plane

机译：欧氏平面中基于线的仿射推理
- 作者：Philippe Balbiani;Tinko Tinchev
- 期刊名称：《Journal of Applied Logic》 | 2007年第3期
- spatial reasoning;
- euclidean geometry;
- first-order theories of space;
- spatial logics;
59.An algebraic approach to belief contraction and nonmonotonic entailment

机译：信念收缩和非单调蕴涵的代数方法
- 作者：Lee Flax
- 期刊名称：《Journal of Applied Logic》 | 2007年第3期
- restricted entailment;
- separator sentence;
- AGM theory;
- algebraic belief revision;
- algebraic nonmonotonic entailment;
60.A consistency-based framework for merging knowledge bases

机译：基于一致性的知识库合并框架
- 作者：James P. Delgrande;Torsten Schaub
- 期刊名称：《Journal of Applied Logic》 | 2007年第3期
- belief set merging;
- consistency-based reasoning;
61.Disjunctive logic programming with types and objects: The DLV~+ system

机译：类型和对象的逻辑逻辑编程：DLV〜+系统
- 作者：Francesco Ricca;Nicola Leone
- 期刊名称：《Journal of Applied Logic》 | 2007年第3期
- disjunctive logic programming;
- objects;
- types;
- ontologies;
- reasoning;
62.The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator

机译：具有mu-operator的连续时间随机逻辑的Hennessy-Milner等价
- 作者：Ernst-Erich Doberkat
- 期刊名称：《Journal of Applied Logic》 | 2007年第3期
63.Termination of logic programs with imperfect information: applications and query procedure

机译：信息不完善的逻辑程序的终止：应用程序和查询过程
- 作者：C.V. Damasio;J. Medina;M. Ojeda-Aciego
- 期刊名称：《Journal of Applied Logic》 | 2007年第3期
- logic programming;
- probabilistic reasoning;
- fuzzy reasoning;
- termination;
- tabulation proof procedures;
64.Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004

机译：JELIA'2004，第9届欧洲人工智能逻辑会议上的特刊
- 作者：Jose Julio Alferes;Joao Leite
- 期刊名称：《Journal of Applied Logic》 | 2007年第3期
65.Only knowing with degrees of confidence

机译：只有充满信心地知道
- 作者：Arild Waaler;Johan W. Kluewer;Tore Langholm;Espen H. Lian
- 期刊名称：《Journal of Applied Logic》 | 2007年第3期
- logic of belief;
- non-monotonic logic;
- autoepistemic logic;
- complexity;
- prioritized defaults;
66.Computing the least common subsumer w.r.t. a background terminology

机译：计算最不常见的消费者w.r.t.背景术语
- 作者：Franz Baader;Baris Sertkaya;Anni-Yasmin Turhan
- 期刊名称：《Journal of Applied Logic》 | 2007年第3期
- description logic;
- non-standard inferences;
67.Preferential theory revision

机译：优惠理论修订
- 作者：Pierangelo DellAcqua;Luis Moniz Pereira
- 期刊名称：《Journal of Applied Logic》 | 2007年第4期
- theory revision;
- preferences;
- abduction;
- diagnosis;
- logic programs;
68.An adaptive logic for relevant classical deduction

机译：相关经典推论的自适应逻辑
- 作者：Hans Lycke
- 期刊名称：《Journal of Applied Logic》 | 2007年第4期
- Ex falso quodlibel;
- paraconsistency;
- adaptive logics;
69.Nonmonotonic conditionals that behave like conditional probabilities above a threshold

机译：非单调条件，其行为类似于条件概率超过阈值
- 作者：James Hawthorne
- 期刊名称：《Journal of Applied Logic》 | 2007年第4期
- nonmonotonic logic;
- nonmonotonic conditions;
- consequence relations;
- conditional probabilities;
- probabilistic thresholds;
70.Error analysis of digital filters using HOL theorem proving

机译：使用HOL定理证明的数字滤波器误差分析
- 作者：Behzad Akbarpour;Sofiène Tahar
- 期刊名称：《Journal of Applied Logic》 | 2007年第4期
- error analysis;
- digital filters;
- theorem proving;
- fixed-point;
- floating-point;
- HOL;
71.A polynomial time algorithm for Zero-Clairvoyant scheduling

机译：零透视行程调度的多项式时间算法
- 作者：K. Subramani
- 期刊名称：《Journal of Applied Logic》 | 2007年第4期
- zero-clarirvoyant;
- real-time scheduling;
- polytope;
- dispatching;
- fault-tolerance;
72.Cut-free common knowledge

机译：免剪常识
- 作者：Gerhard Jaeger;Mathis Kretz;Thomas Studer
- 期刊名称：《Journal of Applied Logic》 | 2007年第4期
- common knowledge;
- epistemic logics;
- cut-free deductive systems;
- proof theory;
73.An axiomatization of family resemblance

机译：家庭相似性公理化
- 作者：R.E. Jennings;D.X. Nicholson
- 期刊名称：《Journal of Applied Logic》 | 2007年第4期
- resemblance;
- hypergraph;
- chromatic number;
- harmonic number;
- completeness;
74.Some comments on history based structures

机译：关于基于历史的结构的一些评论
- 作者：Eric Pacuit
- 期刊名称：《Journal of Applied Logic》 | 2007年第4期
- history based structures;
- epistemic temporal logic;
- interpreted systems;
75.Conditionals and consequences

机译：条件和后果
- 作者：Henry E. Kyburg Jr.;Choh Man Teng;Gregory Wheeler
- 期刊名称：《Journal of Applied Logic》 | 2007年第4期
- nonmonotonic logic;
- evidential probability;
- system P;
- sub-P logics;
- imprecise probability;
76.Model checking propositional dynamic logic with all extras

机译：具有所有额外功能的模型检查命题动态逻辑
- 作者：Martin Lange
- 期刊名称：《Journal of Applied Logic》 | 2006年第1期
- propositional dynamic logic;
- model checking;
- complexity;
77.Automatic knowledge learning and case adaptation with a hybrid committee approach

机译：利用混合委员会方法进行自动知识学习和案例调整
- 作者：Claudio A. Policastro;Andre C.P.L.F. Carvalho;Alexandre C.B. Delbem
- 期刊名称：《Journal of Applied Logic》 | 2006年第1期
- case base reasoning;
- case adaptation;
- hybrid intelligent systems;
- knowledge learning;
78.Using temporal logics of knowledge for specification and verification—a case study

机译：使用知识的时间逻辑进行规范和验证—案例研究
- 作者：Clare Dixon
- 期刊名称：《Journal of Applied Logic》 | 2006年第1期
- specification and verification;
- temporal and epistemie logics;
- automated deduction;
- resolution;
79.Essential unifiers

机译：基本统一者
- 作者：Michael Hoche;Peter Szabo
- 期刊名称：《Journal of Applied Logic》 | 2006年第1期
- E-unification;
- equational theory;
- substitutions;
- terms;
- unification theory;
- part ordering;
- universal algebra;
- varieties;
80.The monadic second-order logic of graphs XV: On a conjecture by D. Seese

机译：图XV的单子二阶逻辑：关于D的一个猜想
- 作者：Bruno Courcelle
- 期刊名称：《Journal of Applied Logic》 | 2006年第1期
- graph;
- clique-width;
- comparability graph;
- line graph;
- interval graph;
- monadic second-order logic;
- decidable theory;
- monadic second-order transduction;
81.On the consistency problem for the INDU calculus

机译：关于INDU演算的一致性问题
- 作者：Philippe Balbiani;Jean-Francois Condotta;Gerard Ligozat
- 期刊名称：《Journal of Applied Logic》 | 2006年第2期
- qualitative temporal reasoning;
- interval algebra;
- qualitative constraint networks;
- tractability;
82.Definability and decidability of binary predicates for time granularity

机译：时间粒度的二进制谓词的可定义性和可判定性
- 作者：Massimo Franceschet;Angelo Montanari;Adriano Peron;Guido Sciavicco
- 期刊名称：《Journal of Applied Logic》 | 2006年第2期
- time granularity;
- monadic theories;
- definability;
- decidability;
83.Efficient spatio-temporal data mining with GenSpace graphs

机译：利用GenSpace图进行有效的时空数据挖掘
- 作者：Howard J. Hamilton;Liqiang Geng;Leah Findlater;Dee Jay Randall
- 期刊名称：《Journal of Applied Logic》 | 2006年第2期
84.A clausal resolution method for extended computation tree logic ECTL

机译：扩展计算树逻辑ECTL的分类解决方法
- 作者：Alexander Bolotov;Artie Basukoski
- 期刊名称：《Journal of Applied Logic》 | 2006年第2期
- branching-time;
- automated deduction;
- resolution;
- program specification and verification;
85.Intuitionistic hybrid logic

机译：直觉混合逻辑
- 作者：Torben Brauener;Valeria de Paiva
- 期刊名称：《Journal of Applied Logic》 | 2006年第3期
- hybrid logic;
- modal logic;
- intuitionistic logic;
- natural deduction;
86.Deduction chains for common knowledge

机译：常用知识的演绎链
- 作者：Mathis Kretz;Thomas Studer
- 期刊名称：《Journal of Applied Logic》 | 2006年第3期
- deduction chains;
- logics of common knowledge;
- tail-style calculi;
87.A general tableau method for propositional interval temporal logics: Theory and implementation

机译：命题区间时间逻辑的一般Tableau方法：理论与实现
- 作者：V. Goranko;A. Montanari;P. Sala;G. Sciavicco
- 期刊名称：《Journal of Applied Logic》 | 2006年第3期
- interval temporal logics;
- proof systems;
- tableau methods;
88.A general method for proving decidability of intuitionistic modal logics

机译：证明直觉模态逻辑可判定性的一般方法
- 作者：Natasha Alechina;Dmitry Shkatov
- 期刊名称：《Journal of Applied Logic》 | 2006年第3期
- intuitionistic modal logics;
- decidibility;
89.Methods for modalities 3

机译：方式方法3
- 作者：Carlos Areces
- 期刊名称：《Journal of Applied Logic》 | 2006年第3期
90.On modal μ-calculus with explicit interpolants

机译：具有显式插值的模态微积分
- 作者：G. DAgostino;G. Lenzi
- 期刊名称：《Journal of Applied Logic》 | 2006年第3期
- μ-calculus;
- bisimulation quantifier;
- uniform interpolation;
91.Model checking hybrid logics (with an application to semistructured data)

机译：模型检查混合逻辑（适用于半结构化数据）
- 作者：Massimo Franceschet;Maarten de Rijke
- 期刊名称：《Journal of Applied Logic》 | 2006年第3期
- model checking;
- modal logics;
- hybrid logics;
- semistructured data;
92.Towards computer aided mathematics

机译：走向计算机辅助数学
- 作者：Christoph Benzmueller
- 期刊名称：《Journal of Applied Logic》 | 2006年第4期
93.MizarMode-an integrated proof assistance tool for the Mizar way of formalizing mathematics

机译：MizarMode-一种用于Mizar数学形式化的集成证明辅助工具
- 作者：Josef Urban
- 期刊名称：《Journal of Applied Logic》 | 2006年第4期
- mizar;
- MizarMode;
- proof assistance;
94.Theorema: Towards computer-aided mathematical theory exploration

机译：定理：走向计算机辅助数学理论探索
- 作者：Bruno Buchberger;Adrian Craciun;Tudor Jebelean;Laura Kovacs;Temur Kutsia;Koji Nakagawa;Fiorina Piroi;Nikolaj Popov;Judit Robu;Markus Rosenkranz;Wolfgang Windsteiger
- 期刊名称：《Journal of Applied Logic》 | 2006年第4期
- mathematical assistant;
- automated reasoning;
- theory exploration;
- 'lazy thinking';
- theorema;
95.Supporting the formal verification of mathematical texts

机译：支持数学文本的形式验证
- 作者：Claus Zinn
- 期刊名称：《Journal of Applied Logic》 | 2006年第4期
- modelling mathematical language and reasoning;
- discourse processing;
- proof planning;
96.An example of formalizing recent mathematical results in MIZAR

机译：在MIZAR中将最近的数学结果形式化的示例
- 作者：Adam Naumowicz
- 期刊名称：《Journal of Applied Logic》 | 2006年第4期
- formalizing mathematics;
- MIZAR;
97.A proof-centric approach to mathematical assistants

机译：以证明为中心的数学助手方法
- 作者：Lucas Dixon;Jacques Fleuriot
- 期刊名称：《Journal of Applied Logic》 | 2006年第4期
- proof planning;
- isabelle;
- isar;
- isaplanner;
- theorem proving;
- proof assistant;
98.Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics

机译：ZF是骇客吗？比较一些基础数学系统（形式主义的解释）的复杂性
- 作者：Freek Wiedijk
- 期刊名称：《Journal of Applied Logic》 | 2006年第4期
- logical frameworks;
- foundation of mathematics;
- automath;
- set theory;
- higher order logic;
- type theory;
- category theory;
- zermelo-fraenkel;
- ZF;
- ZFC;
- new foundations;
- NF;
- HOL;
- isabelle;
- calculus of constructions;
- Martin-Loef type theory;
- formalization of mat;
99.Computer supported mathematics with ΩMEGA

机译：ΩMEGA的计算机支持的数学
- 作者：Joerg Siekmann;Christoph Benzmueller;Serge Autexier
- 期刊名称：《Journal of Applied Logic》 | 2006年第4期
100.TPS: A hybrid automatic-interactive system for developing proofs

机译：TPS：用于开发证明的混合自动交互系统
- 作者：Peter B. Andrews;Chad E. Brown
- 期刊名称：《Journal of Applied Logic》 | 2006年第4期

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号