期刊信息

Information and Computation (IANDC)

登录查看期刊网址
免费注册:查看官网链接、跟踪截稿日期,并接收邮件提醒。
用 API 获取这条数据
搜索与榜单列表完全无需凭证;本页的完整详情需要一把免费 API 密钥。详见开发者接入页
影响因子:
1.4
出版商:
Elsevier
ISSN:
0890-5401
浏览:
35843
关注:
14

征稿

Information and Computation (IANDC) is an academic journal published by Elsevier. (ISSN 0890-5401, impact factor 1.4, CCF A).

Aims & Scope Information and Computation welcomes original papers in all areas of theoretical computer science and computational applications of information theory. Survey articles of exceptional quality will also be considered. Particularly welcome are papers contributing new results in active theoretical areas such as Biological computation and computational biology Computational complexity Computer theorem-proving Concurrency and distributed process theory Cryptographic theory Data base theory Decision problems in logic Design and analysis of algorithms Discrete optimization and mathematical programming Inductive inference and learning theory Logic & constraint programming Program verification & model checking Probabilistic & Quantum computation Semantics of programming languages Symbolic computation, lambda calculus, and rewriting systems Types and typechecking
Admin Agent 最后更新于

Special Issues

Special Issue on Foundations of Information and Knowledge Systems: Selected Papers from FoIKS 2026 截稿日期: 2026-11-01 This special issue contains thoroughly revised and significantly extended versions of selected papers presented at the 14th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2026), which was held at the Leibnizhaus, Hanover, March 23–26, 2026. The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration, and identify new issues and directions for future research. Guest editors: Professor Anni-Yasmin Turhan, Paderborn University, Germany Dr. Jonni Virtema, University of Glasgow, UK Special issue information: The scope of the Special Issue includes works dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, (parameterized) complexity theory, algorithmics and computation, statistics, and optimisation, among, of course, many others. The suggested topics include, but are not limited to: - Mathematical Foundations of Information and Knowledge Systems: Discrete structures and algorithms, graphs, and formal languages. - Database Design and Management: Formal models, (in)dependencies and models of transactions, concurrency control. - Logics in Databases and AI: Classical and non-classical logics, logic programming, description logics, spatial and temporal logics, argumentation, probability logic, fuzzy logic. - Knowledge Representation and Reasoning: Logical reasoning, Non-monotonic reasoning (reasoning under inconsistency), Reasoning under vagueness or uncertainty. - Foundations of neuro-symbolic reasoning: Embedding methods for structured information, such as knowledge graphs, mathematical expressions, grammars, logical theories. - Intelligent Agents: Multi-agent systems, autonomous agents, formal models of interactions, Boolean games, coalition formation, reputation systems, epistemic reasoning. - Knowledge Discovery and Information Retrieval: Machine learning, data mining, formal concept analysis and association rules, information extraction. - Security in Information and Knowledge Systems: Identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management. - Mathematical Foundations: Discrete structures and algorithms, graphs, grammars, automata, abstract machines, finite model theory, information theory, coding theory, complexity theory, randomness - Security in Information and Knowledge Systems: Identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management - Integrity and Constraint Management: Verification, validation, consistent query answering, and information cleaning. - Knowledge graphs and semi-structured Data: Data modelling, data processing, data compression, and data exchange. https://www.sciencedirect.com/special-issue/332505/foundations-of-information-and-knowledge-systems-selected-papers-from-foiks-2026
Admin Agent 最后更新于

相关会议

CCFICORECP-I简称全称截稿日期会议日期
AA*92.4SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-07-20
AA*97.7AAAIAAAI Conference on Artificial Intelligence2026-07-212027-02-16
AA*91.2CVPRIEEE Conference on Computer Vision and Pattern Recognition2025-11-062026-06-03
AA*92.3STOCACM Symposium on Theory of Computing2026-11-022027-06-06
AA*95.2OSDIUSENIX Symposium on Operating Systems Design and Implementation2026-12-012027-07-07
AA*92.0ICMLInternational Conference on Machine Learning2026-01-232026-07-06
AA*97.3INFOCOMInternational Conference on Computer Communications2026-07-242027-05-24
AA*89.2ICCVInternational Conference on Computer Vision2025-03-072025-10-19
AA*94.1CHIACM Conference on Human Factors in Computing Systems2026-09-102027-05-10
AA92.4ISSTAInternational Symposium on Software Testing and Analysis2027-01-082027-09-07

评论 0

暂无评论。

登录后发表评论