Results 21 to 30 of about 633,950 (258)
Modular Games for Coalgebraic Fixed Point Logics [PDF]
, 2008 We build on existing work on finitary modular coalgebraic logics [3,4], which we extend with general fixed points, including CTL- and PDL-like fixed points, and modular evaluation games.
Sadrzadeh, Mehrnoosh, Cirstea, Corina
core +2 more sources
ENS-AI: Un sistema experto para la enseñanza
Teoría de la Educación: Revista Interuniversitaria, 2009 The E.S. being developed in named ENS-AI, acronym for ENSeñanza Artificial Intilligence. ENS-AI will work as support and guide system for education practice.
Clara BARROSO JEREZ
doaj +1 more source
On Admissible Total Orders for Interval-valued Intuitionistic Fuzzy Membership Degrees
Fuzzy Information and Engineering, 2016 The linearity contained in the natural order of unit interval [0,1] plays an important role in many concepts and applications of fuzzy theory. Besides, it is very important in concepts like ordered weighted aggregation operators (OWA) and fuzzy decision ...
I.A. Da Silva +2 more
doaj +1 more source
Modular Construction of Modal Logics
, 2004 We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavioural properties of systems.
Pattinson, Dirk, Cirstea, Corina
core +2 more sources
Modal Logics are Coalgebraic [PDF]
, 2008 Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts.
Pattinson, Dirk +4 more
core +2 more sources
Epistemic Skills: Reasoning about Knowledge and Oblivion [PDF]
Logical Methods in Computer ScienceThis paper presents a class of epistemic logics that captures the dynamics of acquiring knowledge and descending into oblivion, while incorporating concepts of group knowledge.
Xiaolong Liang, Yì N. Wáng
doaj +1 more source
Protein & Cell, 2016 The mammalian brain is heterogeneous, containing billions of neurons and trillions of synapses forming various neural circuitries, through which sense, movement, thought, and emotion arise. The cellular heterogeneity of the brain has made it difficult to
Xiaoying Chen +11 more
doaj +1 more source
Multi-weighted Automata and MSO Logic [PDF]
Theory of Computing Systems, 2013 The final version appeared in the Proceedings of the 8th International Computer Science Symposium in Russia (CSR 2013)
Manfred Droste, Vitaly Perevoshchikov
openaire +3 more sources
A Computationally Grounded, Weighted Doxastic Logic [PDF]
Studia Logica, 2015 The paper deals with reasoning about quantified beliefs of agents in a multi-agent system, or in general with epistemic and doxastic characterizations of agents. The authors provide a language COGWEG (computationally grounded weighted doxastic logic). This system is based on the branching-time notion and a finite state space.
Taolue Chen 0001 +3 more
openaire +3 more sources