首页>外文期刊>计算机、自动化>计算技术、计算机技术>Journal of logic, language and information

Journal of logic, language and information

SCI

中文名称：逻辑，语言和信息杂志

ISSN：0925-8531
出版周期：Quarterly

发文量：357

期刊论文

热门论文

年度选择

更多>>

全选（0）

1.Inferential Conditionals and Evidentiality

机译：推论条件和证据
- 作者：K. Krzyzanowska;S. Wenmackers;I. Douven
- 期刊名称：《Journal of logic, language and information》 | 2013年第3期
- Conditionals;
- Inference;
- Evidentiality;
- Epistemic modals;
2.Logic and Cognition: Special Issue of Best Papers of the ESSLLI 2012 Workshop

机译：逻辑与认知：ESSLLI 2012研讨会最佳论文特刊
- 作者：Jakub Szymanik;Rineke Verbrugge
- 期刊名称：《Journal of logic, language and information》 | 2013年第4期
3.Easy Solutions for a Hard Problem? The Computational Complexity of Reciprocals with Quantificational Antecedents

机译：困难问题的简便解决方案？具有定量先例的倒数的计算复杂性
- 作者：Fabian Schlotterbeck;Oliver Bott
- 期刊名称：《Journal of logic, language and information》 | 2013年第4期
- Reciprocal sentences;
- Computational complexity;
- Experimental semantics;
4.Vagueness and Order Effects in Color Categorization

机译：颜色分类中的模糊性和顺序效应
- 作者：Paul Egre;Vincent de Gardelle;David Ripley
- 期刊名称：《Journal of logic, language and information》 | 2013年第4期
- Vagueness;
- Borderline cases;
- Dynamic sorites;
- Color categorization;
- Hysteresis;
- Enhanced contrast;
- Order effects;
- Strict-tolerant semantics;
- Contextualism;
- Contradictions;
5.Prolegomena to a Cognitive Investigation of Euclidean Diagrammatic Reasoning

机译：欧氏图解推理认知研究的前言
- 作者：Yacin Hamami;John Mumma
- 期刊名称：《Journal of logic, language and information》 | 2013年第4期
6.The Interplay Between the Speaker's and the Hearer's Perspective

机译：演讲者和听众的视角之间的相互作用
- 作者：Petra Hendriks;Helen de Hoop;Henrieette de Swart
- 期刊名称：《Journal of logic, language and information》 | 2012年第1期
- communication;
- speaker-hearer interaction;
- bidirectional optimality theory;
- game theory;
7.Imperfective and Perfective Habituals in Polish: A Bi-Directional OT Account of Variation and Ambiguity

机译：波兰语中的不完美和完美习惯：旧约双向变化和歧义说明
- 作者：Dorota Klimek-Jankowska
- 期刊名称：《Journal of logic, language and information》 | 2012年第1期
- ambiguity;
- aspect;
- bi-directional optimality theory;
- habituality;
- modality;
- variation;
8.Partial Word Order Freezing in Dutch

机译：荷兰语中的部分单词顺序冻结
- 作者：Gerlof J. Bouma;Petra Hendriks
- 期刊名称：《Journal of logic, language and information》 | 2012年第1期
- bidirectional optimality theory;
- corpus study;
- definiteness;
- variation;
- word order freezing;
9.Bidirectional Optimization from Reasoning and Learning in Games

机译：游戏中推理与学习的双向优化
- 作者：Michael Franke;Gerhard Jaeger
- 期刊名称：《Journal of logic, language and information》 | 2012年第1期
- bidirectional optimality theory;
- signaling games;
- game theory;
- iterated best response;
- reinforcement learning;
10.On the Asymmetrical Difficulty of Acquiring Person Reference in French: Production Versus Comprehension

机译：法语中获取人称参考的不对称困难：生产与理解
- 作者：Geraldine Legendre;Paul Smolensky
- 期刊名称：《Journal of logic, language and information》 | 2012年第1期
- personal pronouns;
- french;
- computing over alternatives;
- bidirectional OT;
- constraint ranking;
11.A, The, Another: A Game of Same and Different

机译：一个，另一个，相同和不同的游戏
- 作者：Atle Gronn;Kjell Johan Saebo
- 期刊名称：《Journal of logic, language and information》 | 2012年第1期
- novelty;
- definiteness;
- indefiniteness;
- sameness and difference;
- antipresupposition;
- informativity;
- competition;
- game theory;
12.Errors in Pragmatics

机译：语用错误
- 作者：Anton Benz
- 期刊名称：《Journal of logic, language and information》 | 2012年第1期
- gricean pragmatics;
- game theoretic pragmatics;
- error models;
- implicatures;
- presupposition accommodation;
13.Interpreting Probability

机译：解释概率
- 作者：Timothy Childers;Ondrej Majer
- 期刊名称：《Journal of logic, language and information》 | 2012年第2期
14.Symmetry in Polyadic Inductive Logic

机译：多元归纳逻辑中的对称性
- 作者：J. B. Paris;A. Vencovska
- 期刊名称：《Journal of logic, language and information》 | 2012年第2期
- symmetry;
- inductive logic;
- probability logic;
- spectrum exchangeability;
- rationality;
15.The Fall of 'Adams' Thesis'?

机译：“亚当斯论点”的衰落？
- 作者：Alan Hajek
- 期刊名称：《Journal of logic, language and information》 | 2012年第2期
- adams' thesis;
- assertability;
- assertibility;
- probabilities of conditionals;
- conditional probability;
- triviality results;
16.Probability as a Measure of Information Added

机译：概率作为增加信息的量度
- 作者：Peter Milne
- 期刊名称：《Journal of logic, language and information》 | 2012年第2期
- information;
- probability;
- comparative probability;
- koopman;
- cox;
17.Probabilities as Ratios of Ranges in Initial-State Spaces

机译：概率作为初始状态空间中范围的比率
- 作者：Jacob Rosenthal
- 期刊名称：《Journal of logic, language and information》 | 2012年第2期
- deterministic chance;
- method of arbitrary functions;
- initial-state space;
- objective probability;
18.Questions and Answers in an Orthoalgebraic Approach

机译：正交代数方法中的问题和答案
- 作者：Reinhard Blutner
- 期刊名称：《Journal of logic, language and information》 | 2012年第3期
19.Sequential Dynamic Logic

机译：顺序动态逻辑
- 作者：Alexander Bochman;Dov M.Gabbay
- 期刊名称：《Journal of logic, language and information》 | 2012年第3期
- dynamic logic;
- substructural logics;
- dynamic predicate logic;
- sequent calculus;
20.A Diagrammatic Calculus of Syllogisms

机译：三段论的图解演算
- 作者：Ruggero Pagnan
- 期刊名称：《Journal of logic, language and information》 | 2012年第3期
- syllogism;
- venn-peirce diagram;
- syllogistic diagram;
21.Theognis of Megara and the Divine Creating Power in the Framework of Semiotic Textology: An Application of Janos Sandor Petofi's Theory to Archaic Greek Literature

机译：在符号学框架下的梅加拉认识与神圣创造力：贾诺斯·桑多·佩托菲理论在古希腊文学中的应用
- 作者：Mauro Giuffre
- 期刊名称：《Journal of logic, language and information》 | 2012年第3期
- semiotic textology;
- janos sandor petofi;
- theognis of megara;
- text processing;
- theoretical interpretation;
22.A Diagrammatic Inference System with Euler Circles

机译：具有欧拉圆的图解推理系统
- 作者：Koji Mineshima;Mitsuhiro Okada;Ryo Takemura
- 期刊名称：《Journal of logic, language and information》 | 2012年第3期
- proof-theory;
- diagrammatic reasoning;
- euler diagram;
23.Generalized Quantifiers in Dependence Logic

机译：依赖逻辑中的广义量词
- 作者：Fredrik Engstroem
- 期刊名称：《Journal of logic, language and information》 | 2012年第3期
- dependence logic;
- independence friendly logic;
- generalized quantifiers;
- multi valued dependence;
24.Explaining Quantity Implicatures

机译：解释数量含义
- 作者：Robert van Rooij;Tikitu de Jager
- 期刊名称：《Journal of logic, language and information》 | 2012年第4期
- conversational implicatures;
- pragmatics;
- game theory;
25.Geometric Representations for Minimalist Grammars

机译：极简语法的几何表示
- 作者：Peter beim Graben;Sabrina Gerth
- 期刊名称：《Journal of logic, language and information》 | 2012年第4期
- geometric cognition;
- vector symbolic architectures;
- tensor product representations;
- minimalist grammars;
- harmony theory;
26.A System of Relational Syllogistic Incorporating Full Boolean Reasoning

机译：结合了布尔逻辑推理的关系三段论系统
- 作者：Nikolay Ivanov;Dimiter Vakarelov
- 期刊名称：《Journal of logic, language and information》 | 2012年第4期
- relational syllogistics;
- completeness;
- complexity;
27.The Displacement Calculus

机译：位移微积分
- 作者：Glyn Morrill;Oriol Valentin;Mario Fadda
- 期刊名称：《Journal of logic, language and information》 | 2011年第1期
- categorial grammar;
- cut-elimination;
- discontinuity lambek calculus;
- type logical grammar;
- wrapping;
28.Variation on a Trivialist Argument of Paul Kabay

机译：Paul Kabay琐事论据的变化
- 作者：Lloyd Humberstone
- 期刊名称：《Journal of logic, language and information》 | 2011年第1期
- impossible worlds;
- modal logic;
- trivialism;
29.Erratum to: Grammar Induction by Unification of Type-logical Lexicons

机译：勘误表：类型逻辑词法统一的语法归纳
- 作者：Sean A. Fulop
- 期刊名称：《Journal of logic, language and information》 | 2011年第1期
30.An Event-Based Fragment of First-Order Logic over Intervals

机译：时间间隔上基于事件的一阶逻辑片段
- 作者：Savas Konur
- 期刊名称：《Journal of logic, language and information》 | 2011年第1期
- two variable fragments of first-order logic;
- interval temporal logics;
- decidability;
- tableau methods;
31.Semantically Restricted Argument Dependencies

机译：语义受限的参数依赖项
- 作者：Alastair Butler
- 期刊名称：《Journal of logic, language and information》 | 2011年第1期
- locality;
- quantification;
- grammatical relations;
- long-distance dependencies;
- garbage collection;
- error-correcting code;
32.Erratum to: On Definability in Dependence Logic

机译：勘误至：关于依赖逻辑的可定义性
- 作者：Juha Kontinen;Jouko Vaeaenaenen
- 期刊名称：《Journal of logic, language and information》 | 2011年第1期
33.Synchronizing Diachronic Uncertainty

机译：同步历时不确定性
- 作者：Alistair Isaac;Tomohiro Hoshi
- 期刊名称：《Journal of logic, language and information》 | 2011年第2期
- diachronic uncertainty;
- epistemic temporal logic;
- the absent-minded driver;
- absent-mindedness;
- sleeping beauty;
34.Timed Modal Logics for Real-Time Systems Specification Verification and Control

机译：实时系统规范验证和控制的定时模态逻辑
- 作者：Patricia Bouyer;Franck Cassez;Francois Laroussinie
- 期刊名称：《Journal of logic, language and information》 | 2011年第2期
- model checking;
- timed automata;
- timed modal logic;
- timed control;
35.A Structuralist Theory of Belief Revision

机译：信仰修正的结构主义理论
- 作者：Holger Andreas
- 期刊名称：《Journal of logic, language and information》 | 2011年第2期
- abduction;
- belief bases;
- belief revision;
- default logic;
- defeasible reasoning;
- epistemic ranking;
- structuralist theory of science;
36.Distributivity, Collectivity, and Cumulativity in Terms of (In)dependence and Maximality

机译：从（在）独立性和最大性方面看分布性，集体性和累积性
- 作者：Livio Robaldo
- 期刊名称：《Journal of logic, language and information》 | 2011年第2期
- cumulativity;
- collectivity;
- skolem theory applied to nl semantics;
37.Typability in Partial Applicative Structures

机译：部分应用结构的可输入性
- 作者：Inge Bethke;Piet Rodenburg
- 期刊名称：《Journal of logic, language and information》 | 2011年第2期
- partial applicative structures;
- typability;
38.Introduction to the Special Issue on the Mathematics of Language

机译：语言数学特刊简介
- 作者：Gerald Penn
- 期刊名称：《Journal of logic, language and information》 | 2011年第3期
39.Syntactic Structures and Recursive Devices: A Legacy of Imprecision

机译：句法结构和递归设备：不精确的遗产
- 作者：Marcus Tomalin
- 期刊名称：《Journal of logic, language and information》 | 2011年第3期
- syntax;
- recursion;
- minimalism;
40.Probabilistic Grammars and Languages

机译：概率文法和语言
- 作者：Andras Kornai
- 期刊名称：《Journal of logic, language and information》 | 2011年第3期
- probabilistic languages;
- probabilistic grammars;
- probabilistic finite automata;
41.Aural Pattern Recognition Experiments and the Subregular Hierarchy

机译：听觉模式识别实验和次规则层次
- 作者：James Rogers;Geoffrey K.Pullum
- 期刊名称：《Journal of logic, language and information》 | 2011年第3期
42.The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-free Tree Grammars

机译：树邻接文法和一元线性无上下文树文法的等价性
- 作者：Stephan Kepser;Jim Rogers
- 期刊名称：《Journal of logic, language and information》 | 2011年第3期
43.Syllogistic Logic with Comparative Adjectives

机译：比较形容词的三段逻辑
- 作者：Lawrence S. Moss
- 期刊名称：《Journal of logic, language and information》 | 2011年第3期
- syllogistic logic;
- completeness;
- adjectives;
- transitive relations;
44.On the Mathematical Foundations of Syntactic Structures

机译：句法结构的数学基础
- 作者：Geoffrey K. Pullum
- 期刊名称：《Journal of logic, language and information》 | 2011年第3期
- generative grammar;
- transformations;
- emil post;
- formalization;
- proof theory;
- mathematical logic;
45.Lexicalized Non-Local MCTAG with Dominance Links is NP-Complete

机译：具有优势链接的词汇化非本地MCTAG已完成NP
- 作者：Lucas Champollion
- 期刊名称：《Journal of logic, language and information》 | 2011年第3期
- tree adjoining grammar;
- mctag;
- np-complete;
- dominance links;
- lexicalization;
- mildly context-sensitive;
- scrambling;
46.A Mathematical Model of Prediction-Driven Instability:How Social Structure Can Drive Language Change

机译：预测驱动的不稳定性的数学模型：社会结构如何驱动语言变化
- 作者：W. Garrett Mitchener
- 期刊名称：《Journal of logic, language and information》 | 2011年第3期
- language variation;
- language change;
- incrementation;
- mathematical model;
- social structure;
- prediction-driven instability;
47.Semantic Vector Models and Functional Models for Pregroup Grammars

机译：前置语法的语义矢量模型和功能模型
- 作者：Anne Preller;Mehrnoosh Sadrzadeh
- 期刊名称：《Journal of logic, language and information》 | 2011年第4期
48.The Hamiltonian Syllogistic

机译：汉密尔顿三段论
- 作者：Ian Pratt-Hartmann
- 期刊名称：《Journal of logic, language and information》 | 2011年第4期
- syllogisms;
- natural language and logic;
- complexity;
- proof-theory;
49.Concrete Digital Computation: What Does it Take for a Physical System to Compute?

机译：具体的数字计算：物理系统需要进行什么计算？
- 作者：Nir Fresco
- 期刊名称：《Journal of logic, language and information》 | 2011年第4期
- concrete digital computation;
- computability;
- cognition;
- representation;
- algorithm execution;
- situated computers;
- turing machine;
50.Partly Free Semantics for Some Anderson-Like Ontological Proofs

机译：部分类似于安德森本体论证明的自由语义学
- 作者：Mirostaw Szatkowski
- 期刊名称：《Journal of logic, language and information》 | 2011年第4期
- ontological proof;
- god;
- essence;
- necessary existence;
- positive properties;
- 2nd order free modal logic;
- absolute and relative identity;
- strong completeness;
51.Editorial

机译：社论
- 作者：Marcus Kracht
- 期刊名称：《Journal of logic, language and information》 | 2010年第1期
52.A Theory of Hierarchical Consequence and Conditionals

机译：层次后果与条件理论
- 作者：Dov M. Gabbay;Karl Schlechta
- 期刊名称：《Journal of logic, language and information》 | 2010年第1期
- deontic logic;
- contrary-to-duties;
- preferential structures;
- ranked structures;
- nonmonotonic logic;
- representation results;
53.Dynamic Non-Commutative Logic

机译：动态非交换逻辑
- 作者：Norihiro Kamide
- 期刊名称：《Journal of logic, language and information》 | 2010年第1期
- completeness;
- cut-elimination;
- decidability;
- dynamic logic;
- non-commutative logic;
- sequent calculus;
54.A Note on the Monotonicity of Reducible Quantifiers

机译：关于可约量词单调性的一个注记
- 作者：R. Zuber
- 期刊名称：《Journal of logic, language and information》 | 2010年第1期
- reducible quantifiers;
- monotonicity;
- continuous quantifiers;
55.Querying Linguistic Trees

机译：查询语言树
- 作者：Catherine Lai;Steven Bird
- 期刊名称：《Journal of logic, language and information》 | 2010年第1期
- linguistic databases;
- treebank;
- tree query;
- XPath;
- annotation;
- first order logic;
56.Exploring Feature Agreement in French with Parallel Pregroup Computations

机译：通过并行预分组计算探索法语中的特征协议
- 作者：Joachim Lambek
- 期刊名称：《Journal of logic, language and information》 | 2010年第1期
- french syntax;
- feature agreement;
- pregroup grammars;
57.A Dynamic Logic of Agency I: STIT, Capabilities and Powers

机译：代理机构I的动态逻辑：STIT，功能和权力
- 作者：Andreas Herzig;Emiliano Lorini
- 期刊名称：《Journal of logic, language and information》 | 2010年第1期
- logic of agency;
- STIT;
- coalition logic;
- game theory;
58.New Directions in Type-Theoretic Grammars

机译：类型理论语法的新方向
- 作者：Reinhard Muskens
- 期刊名称：《Journal of logic, language and information》 | 2010年第2期
- lambda grammar;
- abstract categorial grammar;
- tectogrammatics;
- phenogrammatics;
59.Second-Order Abstract Categorial Grammars as Hyperedge Replacement Grammars

机译：二阶抽象分类文法作为超边替换文法
- 作者：Makoto Kanazawa
- 期刊名称：《Journal of logic, language and information》 | 2010年第2期
- abstract categorial grammar;
- hyperedge replacement grammar;
- tree language;
60.On the Membership Problem for Non-Linear Abstract Categorial Grammars

机译：非线性抽象分类文法的隶属度问题
- 作者：Sylvain Salvati
- 期刊名称：《Journal of logic, language and information》 | 2010年第2期
- lambda-calculus;
- intersection types;
- montague semantics;
- text generation;
- formal grammars;
61.PGF: A Portable Run-time Format for Type-theoretical Grammars

机译：PGF：类型理论语法的可移植运行时格式
- 作者：Krasimir Angelov;Bjoern Bringert;Aarne Ranta
- 期刊名称：《Journal of logic, language and information》 | 2010年第2期
62.A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars

机译：非分类Lambek语法在抽象分类语法中的忠实表示
- 作者：Christian Retore;Sylvain Salvati
- 期刊名称：《Journal of logic, language and information》 | 2010年第2期
- lambda calculus;
- formal language theory;
- categorial grammar;
63.Towards a Type-Theoretical Account of Lexical Semantics

机译：对词汇语义的类型理论的解释
- 作者：Christian Bassac;Bruno Mery;Christian Retore
- 期刊名称：《Journal of logic, language and information》 | 2010年第2期
- montague semantics;
- lexical semantics;
- type theory;
64.Probability Logic of Finitely Additive Beliefs

机译：有限加性信念的概率逻辑
- 作者：Chunlai Zhou
- 期刊名称：《Journal of logic, language and information》 | 2010年第3期
- probabilistic beliefs;
- type spaces;
- reasoning about probabilities;
- modal logic;
65.Circularity or Lacunae in Tarski's Truth-Schemata

机译：塔斯基“真理图式”中的圆度或腔隙
- 作者：Dale Jacquette
- 期刊名称：《Journal of logic, language and information》 | 2010年第3期
- circularity;
- language;
- meta-language;
- semantics;
- tarski, alfred;
- truth;
66.A Dynamic Logic of Agency II: Deterministic DLA, Coalition Logic, and Game Theory

机译：代理机构II的动态逻辑：确定性DLA，联盟逻辑和博弈论
- 作者：Emiliano Lorini
- 期刊名称：《Journal of logic, language and information》 | 2010年第3期
- coalition logic;
- game theory;
67.Grammar Induction by Unification of Type-logical Lexicons

机译：类型逻辑词表统一的语法归纳
- 作者：Sean A. Fulop
- 期刊名称：《Journal of logic, language and information》 | 2010年第3期
- categorial grammar;
- type-logical grammar;
- grammar induction;
- algorithmic learning theory;
- language acquisition;
68.Joe Salerno (ed): New Essays on the Knowability Paradox

机译：乔·萨勒诺（Joe Salerno）（ed）：关于知识悖论的新论文
- 作者：Mark Jago
- 期刊名称：《Journal of logic, language and information》 | 2010年第3期
69.Reasoning Processes in Prepositional Logic

机译：命题逻辑中的推理过程
- 作者：Claes Strannegard;Simon Ulfsbaecker;David Hedqvist;Tommy Gaerling
- 期刊名称：《Journal of logic, language and information》 | 2010年第3期
- bounded resources;
- proof system;
- propositional logic;
- psychological experiment;
- reasoning;
70.Temporal Logics of Agency

机译：代理的时间逻辑
- 作者：Johan van Benthem;Eric Pacuit
- 期刊名称：《Journal of logic, language and information》 | 2010年第4期
71.Information Tracking in Games on Graphs

机译：图形游戏中的信息跟踪
- 作者：Dietmar Berwanger;Lukasz Kaiser
- 期刊名称：《Journal of logic, language and information》 | 2010年第4期
- infinite games;
- imperfect information;
- distributed strategies;
- multiplayer games;
72.Merging DEL and ETL

机译：合并DEL和ETL
- 作者：Tomohiro Hoshi
- 期刊名称：《Journal of logic, language and information》 | 2010年第4期
73.The Situation Calculus: A Case for Modal Logic

机译：情境微积分：模态逻辑的案例
- 作者：Gerhard Lakemeyer
- 期刊名称：《Journal of logic, language and information》 | 2010年第4期
- situation calculus;
- epistemic logic;
- dynamic logic;
74.Automata for Epistemic Temporal Logic with Synchronous Communication

机译：具有同步通信的认知时间逻辑自动机
- 作者：Swarup Mohalik;R. Ramanujam
- 期刊名称：《Journal of logic, language and information》 | 2010年第4期
- epistemic logic;
- automata theory;
- decidability;
- knowledge expressions;
75.Combinations of Stit and Actions

机译：姿势与动作的结合
- 作者：Ming Xu
- 期刊名称：《Journal of logic, language and information》 | 2010年第4期
- stit;
- action;
- logic of agency;
- logic of action;
76.Editorial

机译：社论
- 作者：Thomas Agotnes;Natasha Alechina
- 期刊名称：《Journal of logic, language and information》 | 2009年第1期
77.Exploring The Future With Resource-bounded Agents

机译：与资源有限的代理商一起探索未来
- 作者：Michael Fisher;Chiara Ghidini
- 期刊名称：《Journal of logic, language and information》 | 2009年第1期
- agent-based systems;
- formal specification;
- resource-bounded agents;
78.A Logic Of Situated Resource-bounded Agents

机译：位于资源受限的座席的逻辑
- 作者：Natasha Alechina;Brian Logan
- 期刊名称：《Journal of logic, language and information》 | 2009年第1期
- agents;
- belief ascription;
- verification;
79.Developing Bounded Reasoning

机译：发展有限推理
- 作者：Michat Walicki;MarcBezem;Wojtek Szajnkenig
- 期刊名称：《Journal of logic, language and information》 | 2009年第1期
- agents;
- bounded resources;
- temporal reasoning;
80.Diversity Of Agents And Their Interaction

机译：主体的多样性及其相互作用
- 作者：Fenrong Liu
- 期刊名称：《Journal of logic, language and information》 | 2009年第1期
- dynamic epistemic logic;
- belief revision;
- diversity;
- interaction;
81.A Logic Of Strategic Ability Under Bounded Memory

机译：有限记忆下的战略能力逻辑
- 作者：Thomas Agotnes;Dirk Walther
- 期刊名称：《Journal of logic, language and information》 | 2009年第1期
- alternatingtime temporal logic;
- multi-agent systems;
- resource-bounded reasoning;
- strategic ability;
82.Epistemic Logic For Rule-based Agents

机译：基于规则的代理的认知逻辑
- 作者：Mark Jago
- 期刊名称：《Journal of logic, language and information》 | 2009年第1期
- epistemic logic;
- doxastic logic;
- rule-based agents;
- resource bounds;
- artificial intelligence;
- logical omniscience;
83.Polyadic Dynamic Logics for HPSG Parsing

机译：用于HPSG解析的Polyadic动态逻辑
- 作者：Anders Sogaard;Martin Lange
- 期刊名称：《Journal of logic, language and information》 | 2009年第2期
- dynamic logic;
- HPSG;
- model checking;
- parsing;
84.The Basic Constructive Logic for Absolute Consistency

机译：绝对一致性的基本构造逻辑
- 作者：Jose M. Mendez;Gemma Robles
- 期刊名称：《Journal of logic, language and information》 | 2009年第2期
- constructive negation;
- substructural logics;
- ternary relational semantics;
- paraconsistent logic;
85.Plans, Actions and Dialogues Using Linear Logic

机译：使用线性逻辑的计划，行动和对话
- 作者：Lucas Dixon;Alan Smaill;Tracy Tsang
- 期刊名称：《Journal of logic, language and information》 | 2009年第2期
- dialogue;
- planning;
- linear logic;
- agents;
86.Strong Completeness and Limited Canonicity for PDL

机译：PDL的强大完整性和有限规范性
- 作者：Gerard Renardel de Lavalette;Barteld Kooi;Rineke Verbrugge
- 期刊名称：《Journal of logic, language and information》 | 2009年第2期
87.Designing Visual Languages for Description Logics

机译：设计描述逻辑的视觉语言
- 作者：Brian R. Gaines
- 期刊名称：《Journal of logic, language and information》 | 2009年第2期
- visual languages;
- description logics;
- semantic networks;
88.Associative Grammar Combination Operators for Tree-Based Grammars

机译：基于树的语法的关联语法组合运算符
- 作者：Yael Sygal;Shuly Wintner
- 期刊名称：《Journal of logic, language and information》 | 2009年第3期
- polarized unification grammar;
- grammatical formalisms;
- modularity;
- grammar combination;
89.Adaptive Fuzzy Logics for Contextual Hedge Interpretation

机译：上下文对冲解释的自适应模糊逻辑
- 作者：Stephan van der Waart van Gulik
- 期刊名称：《Journal of logic, language and information》 | 2009年第3期
- hedges;
- fuzzy logic;
- adaptive logic;
- concepts;
- cognitive science;
90.Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency

机译：强大的超一致性和一致性的基本构造逻辑
- 作者：Gemma Robles;Jose M. Mendez
- 期刊名称：《Journal of logic, language and information》 | 2009年第3期
- consistency;
- paraconsistent logics;
- constructive negation;
- substructural logics;
- ternary relational semantics;
91.A New Theory of Quantifiers and Term Connectives

机译：量词和术语连接词的新理论
- 作者：Ken Akiba
- 期刊名称：《Journal of logic, language and information》 | 2009年第3期
- conjunction;
- determiner phrases;
- disjunction;
- generalized quantifier theory;
- negation;
- shadows;
- quantification;
- quantifiers;
- term connectives;
92.On Definability in Dependence Logic

机译：论依存逻辑中的可定义性
- 作者：Juha Kontinen;Jouko Vaeaenaenen
- 期刊名称：《Journal of logic, language and information》 | 2009年第3期
- dependence logic;
- independence friendly logic;
- team;
93.Volker Weber

机译：沃尔克·韦伯
- 作者：Thomas Schwentick;Herik Bjoerklund
- 期刊名称：《Journal of logic, language and information》 | 2009年第4期
94.Preface

机译：前言
- 作者：Torben Brauener;Thomas Bolander
- 期刊名称：《Journal of logic, language and information》 | 2009年第4期
95.Terminating Tableau Systems for Hybrid Logic with Difference and Converse

机译：终止具有差分和逆向混合逻辑的Tableau系统
- 作者：Mark Kaminski;Gert Smolka
- 期刊名称：《Journal of logic, language and information》 | 2009年第4期
- modal logic;
- hybrid logic;
- difference modality;
- tableau systems;
- decision procedures;
96.The Complexity of Hybrid Logics over Equivalence Relations

机译：等价关系上混合逻辑的复杂性
- 作者：Martin Mundhenk;Thomas Schneider
- 期刊名称：《Journal of logic, language and information》 | 2009年第4期
- hybrid logic;
- downarrow operator;
- satisfiability;
- model checking;
97.Hybrid Counterfactual Logics David Lewis Meets Arthur Prior Again

机译：混合反事实逻辑David Lewis再次遇见Arthur
- 作者：Katsuhiko Sano
- 期刊名称：《Journal of logic, language and information》 | 2009年第4期
98.Branching-Time Logics Repeatedly Referring to States

机译：分支时间逻辑反复引用状态
- 作者：Volker Weber
- 期刊名称：《Journal of logic, language and information》 | 2009年第4期
- branching time logic;
- hybrid logic;
- temporal logic;
- complexity;
- CTL;
- pebble automata;
- alternating tree automata;
- symmetric automata;
99.Model Checking for Hybrid Logic

机译：混合逻辑的模型检查
- 作者：Martin Lange
- 期刊名称：《Journal of logic, language and information》 | 2009年第4期
- local model checking;
- buechi games;
100.Hybrid Logics of Separation Axioms

机译：分离公理的混合逻辑
- 作者：Dmitry Sustretov
- 期刊名称：《Journal of logic, language and information》 | 2009年第4期
- hybrid logic;
- modal logic;
- topological semantics;
- decidability computational complexity;

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号