首页>外文期刊>计算机、自动化>计算技术、计算机技术>Annals of Mathematics and Artificial Intelligence

Annals of Mathematics and Artificial Intelligence

Annals of Mathematics and Artificial Intelligence

中文名称：数学与人工智能年鉴

ISSN：1020-2443
出版周期：0.893

发文量：788

期刊论文

年度选择

2023
- 第1期
- 第3期
- 第4期
2022
- 第1期
- 第3期
- 第4期
- 第5期
- 第6期
- 第9期
- 第10期
- 第12期
2021
- 第2期
- 第4期
- 第6期
- 第7期
- 第9期
- 第11期
- 第12期
2020
- 第3期
- 第4期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第12期
2019
- 第1期
- 第2期
- 第3期
- 第4期
2018
- 第1期
- 第2期
- 第3期
- 第4期
2017
- 第1期
- 第2期
- 第3期
- 第4期
2016
- 第1期
- 第2期
- 第4期
2015
- 第2期
- 第4期
2014
- 第2期
- 第3期
- 第4期
2013
- 第1期
- 第2期
- 第3期
- 第4期
2012
- 第1期
- 第3期
- 第4期
2011
- 第1期
- 第2期
- 第3期
- 第4期
2010
- 第1期
- 第2期
- 第4期
2009
- 第1期
- 第2期
- 第4期
2008
- 第1期
- 第3期
- 第4期
2007
- 第1期
- 第2期
- 第4期
- 第5期
2006
- 第2期
- 第3期
- 第4期
2005
- 第2期
- 第3期
- 第4期
2004
- 第1期
- 第2期
- 第3期
- 第4期
2003
- 第2期
- 第3期
- 第4期
2000
- 第4期
1996
- 第1期
- 第2期
1995
- 第1期
- 第2期
- 第3期

更多>>

全选（0）

1.A new stochastic approach for solution of Riccati differential equation of fractional order

机译：分数阶Riccati微分方程求解的新的随机方法。
- 作者：Muhammad Asif Zahoor Raja;Junaid Ali Khan;Ijaz Mansoor Qureshi
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2010年第4期
2.Notes on desirability and conditional lower previsions

机译：关于合意性和有条件降低规定的说明
- 作者：Enrique Miranda;Marco Zaffalon
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2010年第4期
- lower and upper previsions;
- sets of desirable gambles;
- coherence;
- natural extension;
- equal expressivity;
3.The impact of available information on negotiation results

机译：现有信息对谈判结果的影响
- 作者：Rina A/oulay-Schwartz;Daphna Dor-Shiffer
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2010年第4期
- electronic commerce • bilateral negotiation • value of information • signalling;
4.Weight constraint programs with evaluable functions

机译：具有可评估功能的体重限制程序
- 作者：Yisong Wang;Jia-Huai You;Fangzhen Lin;Li Yan Yuan;Mingy i Zhang
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2010年第4期
- answer set programming;
- weight constraints;
- evaluable functions;
- constraint satisfaction problem;
5.Detecting and repairing anomalous evolutions in noisy environments Logic programming formalization and complexity results

机译：在嘈杂的环境中检测和修复异常演变逻辑编程形式化和复杂性结果
- 作者：Fabrizio Angiulli;Gianluigi Greco;Luigi Palopoli
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2010年第4期
- logic programming • computational complexity • nonmonotonic reasoning;
6.Preface

机译：前言
- 作者：Silvio Ranise;Ullrich Hustadt
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第2期
7.Inductive proof search modulo

机译：归纳证明搜索模
- 作者：Fabrice Nahon;Claude Kirchner;Helene Kirchner;Paul Brauner
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第2期
- deduction modulo;
- noetherian induction;
- equational rewriting;
- equational narrowing;
8.Labelled splitting

机译：标记分割
- 作者：Arnaud Fietzke;Christoph Weidenbach
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第2期
- superposition;
- splitting;
- labels;
9.Automated verification of refinement laws

机译：自动验证细化法则
- 作者：Peter Hoefner;Georg Struth;Geoff Sutcliffe
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第2期
- refinement calculus;
- kleene algebras;
- automated deduction;
- action systems;
10.Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis

机译：时滞理论与Nelson-Oppen的可满足性模理论的比较分析
- 作者：Roberto Bruttomesso;Alessandro Cimatti;Anders Franzen;Alberto Griggio;Roberto Sebastiani
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第2期
- delayed theory combination;
- nelson-oppen;
- satisfiability modulo theories;
11.Solving quantified verification conditions using satisfiability modulo theories

机译：使用可满足性模理论求解量化验证条件
- 作者：Yeting Ge;Clark Barrett;Cesare Tinelli
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第2期
12.A new methodology for developing deduction methods

机译：开发推论方法的新方法
- 作者：Renate A. Schmidt
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第2期
- deduction calculus synthesis;
- resolution;
- tableaux;
- dual resolution;
- dual tableaux;
- modal resolution;
- decidability;
- modal logic;
13.Cooperative behavior of nano-robots as an analogous of the quantum harmonic oscillator

机译：纳米机器人的协作行为类似于量子谐波振荡器
- 作者：Gerasimos G. Rigatos
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第4期
- multi-robot systems;
- swarm-bots;
- diffusion;
- brownian motion;
- langevin equation;
- quantum harmonic oscillator;
14.Enhancing numerical constraint propagation using multiple inclusion representations

机译：使用多个包含表示法增强数字约束的传播
- 作者：Xuan-Ha Vu;Djamila Sam-Haroud;Boi Faltings
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第4期
- interval constraint propagation;
- branch and prune;
- interval arithmetic;
- affine arithmetic;
15.The theory of interval probabilistic logic programs

机译：区间概率逻辑程序理论
- 作者：Alex Dekhtyar;Michael I. Dekhtyar
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第4期
16.Extending the alternating-offers protocol in the presence of competition: models and theoretical analysis

机译：在存在竞争的情况下扩展交替报价协议：模型和理论分析
- 作者：Nicola Gatti
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第4期
- multiagent systems;
- negotiations;
- game theory;
17.Is VAT really single linkage in disguise?

机译：增值税真的是变相的单一链接吗？
- 作者：Timothy C. Havens;James C. Bezdek;James M. Keller;Mihail Popescu;Jacalyn M. Huband
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第4期
- clustering;
- visual assessment of cluster tendency;
- single linkage;
- relational data;
- minimal spanning tree;
- graph theory;
18.A formal analysis of interest-based negotiation

机译：基于利益的谈判的形式分析
- 作者：Iyad Rahwan;Philippe Pasquier;Liz Sonenberg;Frank Dignum
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第4期
- agents;
- multiagent systems;
- negotiation;
- argumentation;
19.Approximate well-founded semantics, query answering and generalized normal logic programs over lattices

机译：格上近似的有充分根据的语义，查询回答和广义普通逻辑程序
- 作者：Yann Loyer;Umberto Straccia
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第4期
- logic programming;
- nonmonotonic logic;
- many-valued logic;
20.The monoids of orders eight, nine & ten

机译：八阶，九阶和十阶的半人像
- 作者：Andreas Distler;Tom Kelsey
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第1期
- monoids;
- enumeration combinatorics;
- AI search;
21.Constructing infinite models represented by tree automata

机译：构造以树自动机表示的无限模型
- 作者：Nicolas Peltier
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第1期
- model building;
- tree automata;
- infinite models;
22.Preface: Special issue on artificial intelligence and symbolic computation

机译：前言：人工智能和符号计算专刊
- 作者：Jacques Calmet;Volker Sorge
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第1期
23.Graphical reasoning in compact closed categories for quantum computation

机译：紧凑封闭类别中的图形推理，用于量子计算
- 作者：Lucas Dixon;Ross Duncan
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第1期
- graph rewriting;
- quantum computing;
- categorical logic;
- interactive theorem proving;
- graphical calculi;
- ellipses notation;
24.A full first-order constraint solver for decomposable theories

机译：完整的可分解理论的一阶约束求解器
- 作者：Khalil Djelloul
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第1期
- first-order constraint;
- signature;
- decomposable theory;
25.Increasing interpretations

机译：越来越多的解释
- 作者：Harald Zankl;Aart Middeldorp
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第1期
- term rewriting;
- termination;
- polynomial interpretations;
26.Taxed congestion games with failures

机译：失败的征税拥堵游戏
- 作者：Michal Penn;rnMaria Polukarov;rnMoshe Tennenholtz
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第2期
- congestion games;
- failures;
- tax;
- pure strategy nash-equilibrium;
- algorithm;
27.A representation for coordination fault detection in large-scale multi-agent systems

机译：大规模多主体系统中协调故障检测的表示
- 作者：Michael Lindner;rnMeir Kalech;rnGal A. Kaminka
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第2期
- large-scale multi-agent systems;
- coordination fault detection;
- teamwork;
28.On commutativity based Edge Lean search

机译：基于可交换性的Edge Lean搜索
- 作者：Dragan Bosnacki;rnEdith Elkind;rnBlaise Genest;rnDoron Peled
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第2期
- state space search;
- partial order reduction;
- commutativity;
29.Set-structured and cost-sharing heuristics for classical planning

机译：集结构和成本分摊的启发式经典规划
- 作者：Carmel Domshlak;rnVitaly Mirkis
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第2期
- planning;
- heuristic search;
- cost sharing;
30.On the computational complexity of weighted voting games

机译：加权投票博弈的计算复杂度
- 作者：Edith Elkind;rnLeslie Ann Goldberg;rnPaul W. Goldberg;rnMichael Wooldridge
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第2期
- weighted voting games;
- core;
- least core;
- nucleolus;
31.Flyspeck II: the basic linear programs

机译：Flyspeck II：基本的线性程序
- 作者：Steven Obua;Tobias Nipkow
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第4期
- flyspeck;
- kepler conjecture;
- interactive theorem proving;
- isabelle;
- higher-order logic;
- computational logic;
- finite matrices;
- lattice-ordered rings;
- linear programming;
- hypermaps;
- planar graphs;
32.Invariants for the FoCaL language

机译：FoCaL语言的不变量
- 作者：Renaud Rioboo
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第4期
- specification and verification;
- theorem proving;
- algebraic specifications;
- effective mathematics;
- FoCaLize;
- data invariants;
33.A Groebner bases-based approach to backward reasoning in rule based expert systems

机译：基于Groebner基于库的方法在基于规则的专家系统中进行向后推理
- 作者：Eugenio Roanes-Lozano;Antonio Hernando;Luis M. Laita;Eugenio Roanes-Macias
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第4期
- rule based expert systems;
- logic and symbolic computing;
- groebner bases;
- discovery;
34.On the Vapnik-Chervonenkis dimension of computer programs which use transcendental elementary operations

机译：在使用先验基本运算的计算机程序的Vapnik-Chervonenkis维上
- 作者：Jose L. Montana;Luis M. Pardo
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第4期
- concept learning;
- vapnik-chervonenkis dimension;
- khovanskii bounds;
- pfaffian functions;
- parallel computation;
- formula size;
35.Applicable algebra and artificial intelligence

机译：适用代数与人工智能
- 作者：Julio Rubio;Werner Seiler
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第4期
36.Short PCPPs verifiable in polylogarithmic time with O(1) queries

机译：可通过O（1）查询在多对数时间内验证的短PCPP
- 作者：Thilo Mie
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第4期
- PCP;
- PCPP;
- verifier;
- time complexity;
- query complexity;
37.Spectral schemes as ringed lattices

机译：光谱方案为环状晶格
- 作者：Thierry Coquand;Henri Lombardi;Peter Schuster
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第4期
- grothendieck scheme;
- point-free definition;
- distributive lattices;
38.Congruence relations on some hyperstructures

机译：一些超结构上的同余关系
- 作者：Inma P. Cabrera;Pablo Cordero;Gloria Gutierrez;Javier Martinez;Manuel Ojeda-Aciego
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第4期
- lattice theory;
- non-determinism;
- multisemilattice;
39.On the constructive orbit problem

机译：关于建设性轨道问题
- 作者：Alastair F. Donaldson;Alice Miller
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第1期
- symmetry reduction;
- model checking;
- orbit problem;
- computational group theory;
- wreath product;
40.Dynamic symmetry-breaking for Boolean satisfiability

机译：动态对称性破缺，可满足布尔运算
- 作者：Fadi A. Aloul;Arathi Ramani;Igor L. Markov;Karem A. Sakallah
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第1期
- dynamic symmetry breaking;
- boolean satisfiability;
- search;
- optimization;
- formal verification;
41.Minimal ordering constraints for some families of variable symmetries

机译：一些可变对称性族的最小排序约束
- 作者：Andrew Grayland;Chris Jefferson;Ian Miguel;Colva M. Roney-Dougal
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第1期
- constraint programming;
- constraint modelling;
- symmetry;
42.Static and dynamic structural symmetry breaking

机译：静态和动态结构对称性破坏
- 作者：Pierre Flener;Justin Pearson;Meinolf Sellmann
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第1期
43.Disjunctive databases for representing repairs

机译：代表维修的析取数据库
- 作者：Cristian M olinaro;Jan Chomicki;Jerzy Marcinkowski
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第2期
- inconsistent databases;
- incomplete databases;
- repairs;
- disjunctive databases;
44.General default logic

机译：通用默认逻辑
- 作者：Yi Zhou;Fangzhen Lin;Yan Zhang
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第2期
- nonmonotonic logic;
- answer set program;
- default logic;
- autoepistemic logic;
45.A resistant learning procedure for coping with outliers

机译：应对异常值的抗性学习程序
- 作者：Rua-Huan Tsaih;Tsung-Chi Cheng
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第2期
46.The foundations of DeLP: defeating relations, games and truth values

机译：DeLP的基础：击败关系，博弈和真理价值
- 作者：Ignacio Dario Viglizzo;Fernando A. Tohme;Guillermo R. Simari
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第2期
- argumentation protocol;
- defeasible logic programming;
- game theory;
- truth values;
- defeating relation;
47.Multi-robot area patrol under frequency constraints

机译：频率约束下的多机器人区域巡逻
- 作者：Yehuda Elmaliach;Noa Agmon;Gal A. Kaminka
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第4期
- multi-robotics;
- multi-robot path planning;
- team planning;
48.New methods for proving the impossibility to solve problems through reduction of problem spaces

机译：证明不可能通过减少问题空间来解决问题的新方法
- 作者：Antonio Hernando
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第4期
- problem spaces;
- automatic representation changes;
- problem solvers;
49.An application of formal concept analysis to semantic neural decoding

机译：形式概念分析在语义神经解码中的应用
- 作者：Dominik Maria Endres;Peter Foeldiak;Uta Priss
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第4期
- formal concept analysis;
- FCA;
- neural code;
- sparse coding;
- high-level vision;
- STS;
- bayesian classification;
- semantic;
- neural decoding;
50.A subclass of Horn CNFs optimally compressible in polynomial time

机译：Horn CNF的子类在多项式时间内可最佳压缩
- 作者：Endre Boros;Ondrej Cepek;Alexander Kogan;Petr Kucera
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2009年第4期
- horn functions;
- boolean minimization;
- CQ functions;
- essential sets;
- exclusive sets;
51.Set based logic programming

机译：基于集合的逻辑编程
- 作者：H. A. Blair;V. W. Marek;J. B. Remmel
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第1期
52.Recognition of interval Boolean functions

机译：区间布尔函数的识别
- 作者：Ondrej Cepek;David Kronus;Petr Kucera
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第1期
- boolean function;
- DNF;
- pdBf;
- knowledge compression;
53.Comparing the notions of optimality in CP-nets, strategic games and soft constraints

机译：比较CP网络，战略博弈和软约束中的最优性概念
- 作者：Krzysztof R. Apt;Francesca Rossi;Kristen Brent Venable
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第1期
- strategic games;
- pure nash equilibria;
- preferences;
- CP nets;
- soft constraints;
54.On the complexity of binary samples

机译：关于二进制样本的复杂性
- 作者：Joel Ratsaby
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第1期
- binary functions;
- density of sets;
- VC-dimension;
55.Convergence analysis of convex incremental neural networks

机译：凸增量神经网络的收敛性分析
- 作者：Lei Chen;Hung Keng Pung
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第1期
- feedforward neural networks;
- universal approximation;
- convergence rate;
- generalization performance;
56.Annals of Mathematics and Artificial Intelligence special issue on multi-robot coverage, search, and exploration

机译：《数学和人工智能年鉴》有关多机器人的研究，搜索和探索
- 作者：Gal A. Kaminka;Amir Shapiro
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
57.The giving tree: constructing trees for efficient offline and online multi-robot coverage

机译：给予树：构建有效的离线和在线多机器人覆盖树
- 作者：Noa Agmon;Noam Hazon;Gal A. Kaminka
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- efficient multi-robot coverage;
- coverage algorithm;
58.A framework for multi-robot node coverage in sensor networks

机译：传感器网络中多机器人节点覆盖的框架
- 作者：Andrea Gasparri;Bhaskar Krishnamachari;Gaurav S. Sukhatme
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- multi-robot systems;
- sensor networks;
- area coverage;
59.Efficient Boustrophedon Multi-Robot Coverage: an algorithmic approach

机译：有效的Boustrophedon多机器人覆盖范围：一种算法方法
- 作者：Ioannis Rekleitis;Ai Peng New;Edward Samuel Rankin;Howie Choset
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- coverage;
- multi-robot;
- algorithmic robotics;
60.Classifying the multi robot path finding problem into a quadratic competitive complexity class

机译：将多机器人路径查找问题分类为二次竞争复杂度类别
- 作者：Shahar Sarid;Amir Shapiro
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- multi-robot;
- motion planning;
- competitive complexity class;
- optimal algorithm;
- lower bound;
- on-line;
61.Efficient exploration of unknown indoor environments using a team of mobile robots

机译：使用移动机器人团队高效探索未知的室内环境
- 作者：Cyrill Stachniss;Oscar Martinez Mozos;Wolfram Burgard
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- multi-robot exploration;
- coordination;
- semantic place information;
62.Distributed multirobot exploration, mapping, and task allocation

机译：分布式多机器人探索，映射和任务分配
- 作者：Regis Vincent;Dieter Fox;Jonathan Ko;Kurt Konolige;Benson Limketkai;Benoit Morisset;Charles Ortiz;Dirk Schulz;Benjamin Stewart
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- distributed exploration;
- distributed mapping;
- task allocation;
- robots;
63.A geometric approach to deploying robot swarms

机译：部署机器人群的几何方法
- 作者：Geunho Lee;Nak Young Chong
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- robot swarms;
- local interactions;
- equilateral triangular lattice;
- self-configuration;
- self-reparation;
64.Distributed boundary coverage with a team of networked miniature robots using a robust market-based algorithm

机译：使用强大的基于市场的算法，由一组联网微型机器人组成的分布式边界覆盖范围
- 作者：Patrick Amstutz;Nikolaus Correll;Alcherio Martinoli
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- multi-robot systems;
- miniature robots;
- boundary coverage;
- distributed coverage;
- networked robots;
- market-based algorithms;
65.Multiple UAV exploration of an unknown region

机译：对未知区域的多次无人机探索
- 作者：P. B. Sujit;Randy Beard
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- path planning;
- multiple UAV;
- exploration;
- cooperation;
66.My work with Victor Marek: a mathematician looks at answer set programming

机译：我与Victor Marek的工作：数学家研究答案集编程
- 作者：Jeffrey B. Remmel
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- victor marek;
- answer set programming;
- nonmonotonic logic;
67.My six encounters with Victor Marek-a personal account

机译：我与Victor Marek的六次相遇-个人经历
- 作者：Miroslaw Truszczynski
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- victor marek;
- foundations of mathematics;
- foundations of computer science;
68.Reasoning about temporal properties of rational play

机译：关于理性游戏的时间属性的推理
- 作者：Nils Bulling;Wojciech Jamroga;Juergen Dix
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- game theory;
- modal and temporal logic;
- reasoning about agents;
- rationality;
69.Justification logics, logics of knowledge, and conservativity

机译：证明逻辑，知识逻辑和保守性
- 作者：Melvin Fitting
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- logic;
- modal logic;
- logic of knowledge;
- justification logic;
- conservativity;
70.On the relation among answer set solvers

机译：关于答案集求解器之间的关系
- 作者：Enrico Giunchiglia;Nicola Leone;Marco Maratea
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- answer set solvers;
- answer set programming;
- search trees;
71.A non-preferential semantics of non-monotonic modal logic

机译：非单调模态逻辑的非优先语义
- 作者：Michael Kaminski
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- non-monotonic modal logic;
- kripke semantics;
- minimal model semantics;
- canonical models;
72.From Hilbert's program to a logic tool box

机译：从希尔伯特的程序到逻辑工具箱
- 作者：J. A. Makowsky
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- teaching logic;
- modeling;
- interpretability;
- levels of abstraction;
73.Consistency properties and set based logic programming

机译：一致性属性和基于集合的逻辑编程
- 作者：Anil Nerode;Jeffrey B. Remmel
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- set based logic programming;
- consistency properties;
- normal default theories;
74.Stable models and difference logic

机译：稳定的模型和差异逻辑
- 作者：Ilkka Niemelae
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- logic programs;
- stable model;
- semantics;
- difference logic;
75.Hyperequivalence of logic programs with respect to supported models

机译：逻辑程序相对于支持模型的超等价
- 作者：Miroslaw Truszczynski;Stefan Woltran
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- hyperequivalence;
- logic programs;
- supported models;
76.Preface

机译：前言
- 作者：Michael Kaminski;Miroslaw Truszczynski
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
77.Default logic generalized and simplified

机译：通用逻辑简化
- 作者：Alexander Bochman
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- default logic;
- disjunctive rules;
- default assumptions;
78.Exploiting conjunctive queries in description logic programs

机译：在描述逻辑程序中利用联合查询
- 作者：Thomas Eiter;Giovambattista Ianni;Thomas Krennwallner;Roman Schindlauer
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- hybrid rule languages;
- conjunctive queries and description logics;
- answer set programming;
- semantic web;
79.Integrating answer set programming and constraint logic programming

机译：集成答案集编程和约束逻辑编程
- 作者：Veena S. Mellarkod;Michael Gelfond;Yuanlin Zhang
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- knowledge representation and reasoning;
- answer set programming;
- constraint logic programming;
80.Guest editorial: Marco Somalvico memorial issue

机译：客座社论：Marco Somalvico纪念刊物
- 作者：Ephraim Nissan;Giuseppina Gini;Marco Colombetti
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- marco somalvico;
- artificial intelligence;
- milano;
- Italy;
81.Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB

机译：认知公式，论证结构以及关于身份和欺骗的叙述：AURANGZEB中AJIT子项目的正式代表
- 作者：Ephraim Nissan
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- modelling of deception;
- episodic formulae;
- AURANGZEB project;
- narratives;
82.Mental states as multi-context systems

机译：心理状态作为多上下文系统
- 作者：Aldo Franco Dragoni
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- BDI agents;
- mental states;
- multi-context frameworks;
83.On the completeness of an identifiability algorithm for semi-Markovian models

机译：半马尔可夫模型的可辨识性算法的完备性
- 作者：Yimin Huang;Marco Valtorta
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第4期
- identifiability algorithm;
- semi-markovian models;
- causal bayesian network;
- graphical models;
84.Preface

机译：前言
- 作者：Manfred Jaeger;Lise Getoor;Kristian Kersting
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第3期
85.Mixed deterministic and probabilistic networks

机译：确定性和概率混合网络
- 作者：Robert Mateescu;Rina Dechter
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第3期
- mixed network;
- probabilistic information;
- deterministic information;
- graphical models;
- automated reasoning;
- inference;
- search;
- AND/OR search;
86.Learning directed probabilistic logical models: ordering-search versus structure-search

机译：学习指导的概率逻辑模型：顺序搜索与结构搜索
- 作者：Daan Fierens;Jan Ramon;Maurice Bruynooghe;Hendrik Blockeel
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第3期
87.Bayesian learning of Bayesian networks with informative priors

机译：具有先验信息的贝叶斯网络的贝叶斯学习
- 作者：Nicos Angelopoulos;James Cussens
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第3期
- prior knowledge;
- bayesian inference;
- bayesian model averaging;
- markov chain monte carlo;
- loss functions;
- stochastic logic programs;
88.Variational Bayes via propositionalized probability computation in PRISM

机译：PRISM中通过命题概率计算的变分贝叶斯
- 作者：Taisuke Sato;Yoshitaka Kameya;Kenichi Kurihara
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第3期
- variational bayes;
- probabilistic models;
- PRISM;
89.Probabilistic modelling, inference and learning using logical theories

机译：运用逻辑理论进行概率建模，推理和学习
- 作者：K. S. Ng;J. W. Lloyd;W. T. B. Uther
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第3期
- probabilistic modelling;
- probabilistic inference;
- learning;
- higher-order logic;
90.A semiparametric generative model for efficient structured-output supervised learning

机译：高效的结构化输出监督学习的半参数生成模型
- 作者：Fabrizio Costa;Andrea Passerini;Marco Lippi;Paolo Frasconi
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第3期
- semiparametric generative model;
- supervised learning;
- structured outputs;
91.Learning first-order probabilistic models with combining rules

机译：通过组合规则学习一阶概率模型
- 作者：Sriraam Natarajan;Prasad Tadepalli;Thomas G. Dietterich;Alan Fern
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2008年第3期
- first-order probabilistic models;
- quantified conditional influence statements;
- directed graphs;
92.Wohlers Report 2007: Executive Summary

机译：Wohlers报告2007：执行摘要
- 作者：Terry Wohlers
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2007年第5期
93.Rapid Manufacturing: Customisation and Agility

机译：快速制造：定制和敏捷
- 作者：Chris Tuck
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2007年第5期
94.Rapid Turnaround for Samrey Generators and Turbines

机译：Samrey发电机和涡轮机的快速周转
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2007年第5期
95.Region-based theory of discrete spaces: A proximity approach

机译：基于区域的离散空间理论：一种接近方法
- 作者：Ivo Duentsch;Dimiter Vakarelov
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2007年第4期
- proximity algebras;
- discrete spaces;
- qualitative spatial reasoning;
96.Free poset algebras and combinatorics of cones

机译：自由波塞特代数和锥的组合
- 作者：Mustapha Alami;Mohamed Bekkali;Latifa Faouzi;Driss Zhani
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2007年第4期
- free poset algebras;
- interval algebras;
- pseudo-tree algebras;
- semigroup algebras;
- length of element;
97.Incidence structures and Stone-Priestley duality

机译：发病率结构和Stone-Priestley对偶
- 作者：Mohamed Bekkali;Maurice Pouzet;Driss Zhani
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2007年第4期
- incidence structure;
- galois lattice;
- boolean algebra;
- distributive lattice;
98.Attribute-incremental construction of the canonical implication basis

机译：规范蕴涵基础的属性增量构造
- 作者：S. Obiedkov;V. Duquenne
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2007年第4期
- galois lattice;
- formal concept analysis;
- implication;
- duquenne-guigues basis;
- incremental algorithm;
99.On stability of a formal concept

机译：关于形式概念的稳定性
- 作者：Sergei O. Kuznetsov
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2007年第4期
- formal concepts;
- hypotheses;
- stability;
- computation;
100.A local approach to concept generation

机译：本地化概念生成方法
- 作者：Anne Berry;Jean-Paul Bordat;Alain Sigayret
- 期刊名称：《Annals of Mathematics and Artificial Intelligence》 | 2007年第4期
- concept lattice;
- galois lattice;
- maximal rectangles;
- concept generation;

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号