Search results for "modal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
171	Manfred Wamsler	The role of actual modal-contributions versus frequency to optimize the structure.	Eng. Comput.	2009	DBLP DOI BibTeX RDF	NVH, Modal formulation, Modal frequency response analysis, Modal transformation, Modal synthesis method, Modal contributions, Modal contributors, Contributions from normal modes, Contributing modes, Modal contribution analysis, Modal contribution indicator, Contribution to the total response, Percent modal-contribution, Actual modal-contribution, Strength of coupling, Coupling-strength between normal modes, Modal analysis, CAE
90	Françoise Debart, Patrice Enjalbert, Madeleine Lescot	Multi-Modal Logic Programming using Equational and Order-Sorted Logic.	ALP	1990	DBLP DOI BibTeX RDF	Order-sorted Logic, Equationnal Methods, E-Resolution, Logic Programming, Modal Logic, Unification
90	Dongge Li, Nevenka Dimitrova, Mingkun Li, Ishwar K. Sethi	Multimedia content processing through cross-modal association.	ACM Multimedia	2003	DBLP DOI BibTeX RDF	cross-modal association, cross-modal factor analysis (CFA), cross-modal information retrieval, talking head analysis
80	Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone	Modal interfaces: unifying interface automata and modal specifications.	EMSOFT	2009	DBLP DOI BibTeX RDF	modal specifications, compatibility, interface automata
63	Roman Kuznets	On the Complexity of Explicit Modal Logics.	CSL	2000	DBLP DOI BibTeX RDF
63	Alan M. Frisch, Richard B. Scherl	A Constraint Logic Approach to Modal Deduction.	JELIA	1990	DBLP DOI BibTeX RDF
57	Lutz Schröder	Expressivity of Coalgebraic Modal Logic: The Limits and Beyond.	FoSSaCS	2005	DBLP DOI BibTeX RDF
57	Feng Jiang, Yuefei Sui, Cungen Cao 0001	An Ontology-Based First-Order Modal Logic.	RSCTC	2006	DBLP DOI BibTeX RDF	First-order modal logic, counterpart, ontology, rigidity
57	Erich Grädel, Colin Hirsch, Martin Otto 0001	Back and forth between guarded and modal logics.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	guarded logic, modal logic, Bisimulation, model theory
56	Chandrika Pulla, C. V. Jawahar	Multi modal semantic indexing for image retrieval.	CIVR	2010	DBLP DOI BibTeX RDF	HOSVD, multi-modal LSI, multi-modal image retrieval, multi-modal pLSA, image retrieval, SIFT, semantic indexing, pLSA, LSI
56	Vincent J. DiGri, Jane E. King	The Share 709 System: Input-Output Translation.	J. ACM	1959	DBLP DOI BibTeX RDF
56	Alessandra Palmigiano, Yde Venema	Nabla Algebras and Chu Spaces.	CALCO	2007	DBLP DOI BibTeX RDF	relation lifting, Vietoris hyperspace, Chu space, coalgebra, modal algebra
51	Michael Bauland, Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor	Generalized Modal Satisfiability.	STACS	2006	DBLP DOI BibTeX RDF	computational complexity, modal logic
51	Hans Jürgen Ohlbach	A Resolution Calculus for Modal Logics.	CADE	1988	DBLP DOI BibTeX RDF	resolution principle, modal logic, unification
51	Manfred Wamsler	Retaining the influence of crucial local effects in mixed Guyan and modal reduction.	Eng. Comput.	2005	DBLP DOI BibTeX RDF	Structural dynamics, Component mode reduction, Mixed Guyan and modal reduction, Direct methods of solution, Modal methods of solution
51	Jan Kleindienst, Ladislav Serédi, Pekka Kapanen, Janne Bergman	Loosely-coupled approach towards multi-modal browsing.	Univers. Access Inf. Soc.	2003	DBLP DOI BibTeX RDF	VP, Virtual Proxy, NLU, Wireless Markup Language, HyperText Markup Language, World-Wide Web Consortium, Voice eXtensible Markup Language, FIA, Form Interpretation Algorithm, WWW, World-Wide Web, UI, User Interface, GUI, Graphical User Interface, HTML, HTML, HTTP, API, Application Programming Interface, Browser, WAP, Wireless Application Protocol, Multi-modal, multi-modal, DOM, Natural Language Understanding, VoiceXML, VoiceXML, W3C, WML, WML, MM, COM, HyperText Transfer Protocol, Document Object Model, Component Object Model
50	Clemens Kupke, Alexander Kurz 0001, Dirk Pattinson	Ultrafilter Extensions for Coalgebras.	CALCO	2005	DBLP DOI BibTeX RDF
50	Dale Jacquette	Propositions, Sets, and Worlds.	Stud Logica	2006	DBLP DOI BibTeX RDF	Abstract entity, Jubien, Michael, logically possible world, modal actualism, modal (platonic) realism, ontological commitment, ontology, modal logic, set, proposition
48	Charl Maree, Jan Erik Modal, Christian W. Omlin	Towards Responsible AI for Financial Transactions.	CoRR	2022	DBLP DOI BibTeX RDF
48	Charl Maree, Jan Erik Modal, Christian W. Omlin	Towards Responsible AI for Financial Transactions.	SSCI	2020	DBLP DOI BibTeX RDF
46	Qinggang Meng, Mark H. Lee	Construction of Robot Intra-modal and Inter-modal Coordination Skills by Developmental Learning.	J. Intell. Robotic Syst.	2007	DBLP DOI BibTeX RDF	developmental psychology, intra-modal and inter-modal coordination development, cognitive robotics, neuroscience
46	Yevgeny Kazakov, Ian Pratt-Hartmann	A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics.	LICS	2009	DBLP DOI BibTeX RDF
46	Daisuke Kimura, Yoshihiko Kakutani	Classical Natural Deduction for S4 Modal Logic.	APLAS	2009	DBLP DOI BibTeX RDF
46	Lutz Schröder, Till Mossakowski	Coalgebraic Modal Logic in CoCasl.	WADT	2006	DBLP DOI BibTeX RDF
46	Vladimir V. Rybakov	Barwise's information frames and modal logics.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
46	Harmen van den Berg	Modal Logics for Conceptual Graphs.	ICCS	1993	DBLP DOI BibTeX RDF
46	Robert Goldblatt	Maps and Monads for Modal Frames.	Stud Logica	2006	DBLP DOI BibTeX RDF	modal map, bounded morphism, descriptive frame, equivalence of categories, reflective subcategory, Kleisli category, duality, monad
46	Zaiyue Zhang, Yuefei Sui, Cungen Cao 0001	Description of Fuzzy First-Order Modal Logic Based on Constant Domain Semantics.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF	fuzzy reasoning system, rough set, modal logic
46	Katherine Everitt, Chia Shen, Kathy Ryall, Clifton Forlines	Modal spaces: spatial multiplexing to mediate direct-touch input on large displays.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	direct-touch input, gesture, modal, tabletop interaction, large screen displays
46	Anuj Dawar, Erich Grädel, Stephan Kreutzer	Inflationary fixed points in modal logic.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Fixed-point logics, complexity, modal logic, decidability, expressive power
46	Zaiyue Zhang, Yuefei Sui, Cungen Cao	Fuzzy Reasoning Based on Propositional Modal Logic.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF	propositional modal logic, fuzzy assertion, fuzzy reasoning
46	Yasmine Arafa, E. H. Mamdani	Building Multi-modal Personal Sales Agents as Interfaces to E-commerce Applications.	Active Media Technology	2001	DBLP DOI BibTeX RDF	Electronic Personal Sales Assistants, Multi-modal Interface Agents, Conversational Lifelike Characters, Multi-Agent Systems, Affective Computing
46	Rajeev Goré, Lan Duy Nguyen	CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security.	Java Card Workshop	2000	DBLP DOI BibTeX RDF	security of multi-application smart cards, applications of logics of knowledge and belief, modal theorem proving, tense logics
45	Luigi Santocanale	Completions of µ-algebras.	LICS	2005	DBLP DOI BibTeX RDF
45	Tero Tulenheimo, Merlijn Sevenster	On Modal Logic, IF Logic, and IF Modal Logic.	Advances in Modal Logic	2006	DBLP BibTeX RDF
45	Valentin Goranko, Dimiter Vakarelov	Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.	Advances in Modal Logic	1998	DBLP BibTeX RDF
45	Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo	Shakespearian Modal Logic: A Labelled Treatment of Modal Identity.	Advances in Modal Logic	1996	DBLP BibTeX RDF
45	Oliver Lemon, Ian Pratt 0002	On the Incompleteness of Modal Logics of Space: Advancing Complete Modal Logics of Place.	Advances in Modal Logic	1996	DBLP BibTeX RDF
45	Churn-Jung Liau	An Overview of Hybrid Possibilistic Reasoning.	RSFDGrC	2003	DBLP DOI BibTeX RDF	Qualitative possibility logic, Graded modal logic, Description Logic, Hybrid logic, Possibilistic logic
41	Alpana Tiwari, Rafah Hosn, Stéphane H. Maes	Conversational Multi-Modal Browser: An Integrated Multi-Modal Browser and Dialog Manager.	SAINT	2003	DBLP DOI BibTeX RDF
40	Jing Shi	Modal Expressivity and Definability over Sets.	LORI	2009	DBLP DOI BibTeX RDF
40	Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro 0001, Alexander B. Romanovsky	Modal Systems: Specification, Refinement and Realisation.	ICFEM	2009	DBLP DOI BibTeX RDF
40	Renate A. Schmidt, Dmitry Tishkovsky	A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments.	IJCAR	2008	DBLP DOI BibTeX RDF
40	Nick Bezhanishvili, Alexander Kurz 0001	Free Modal Algebras: A Coalgebraic Perspective.	CALCO	2007	DBLP DOI BibTeX RDF
40	Lutz Schröder	A Finite Model Construction for Coalgebraic Modal Logic.	FoSSaCS	2006	DBLP DOI BibTeX RDF
40	Franz Baader, Silvio Ghilardi, Cesare Tinelli	A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics.	IJCAR	2004	DBLP DOI BibTeX RDF
40	Valentin Goranko, Bruce M. Kapron	The modal logic of the countable random frame.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
40	Luca Alberucci	Strictness of the Modal µ-Calculus Hierarchy.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
40	Angelo Montanari, Alberto Policriti, Matteo Slanina	Derivability in Locally Quantified Modal Logics via Translation in Set Theory.	MFCS	2000	DBLP DOI BibTeX RDF
40	Kim Guldstrand Larsen	Modal Specifications.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
40	GuoJun Wang, QiaoLin Duan	Theory of (n) truth degrees of formulas in modal logic and a consistency theorem.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	(n) truth degrees, consistency theorem, (n) modality similarity degrees, (n) modality logic metric space, temporal logic, modal logic, approximate reasoning
40	Luca Alberucci, Alessandro Facchini	On Modal µ -Calculus and Gödel-Löb Logic.	Stud Logica	2009	DBLP DOI BibTeX RDF	Modal ?-Calculus, Gödel-Löb Logic, Fixpoint
40	Shelly Park, Frank Maurer	Multi-modal Functional Test Execution.	XP	2008	DBLP DOI BibTeX RDF	Executable Acceptance Testing, Func-tional Specifications, Multi-modal Test Execution, Test Driven Development, Functional Testing, Architectural Design Decisions, Validation Testing
40	Hartwig H. Hochmair	Grouping of Optimized Pedestrian Routes for Multi-Modal Route Planning: A Comparison of Two Cities.	AGILE Conf.	2008	DBLP DOI BibTeX RDF	Multi-modal route planning, user interface design, network analysis, pedestrian navigation, spatial decision support
40	Guangbin Bu, Can Zhao, Dunwen Zuo, Min Wang	The Influence of Material Removal on the Modal Change of Blade.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	impeller blades, modal, HSM
40	Phiniki Stouppa	A Deep Inference System for the Modal Logic S5.	Stud Logica	2007	DBLP DOI BibTeX RDF	modal logic S5, cutadmissibility, proof theory, deep inference, calculus of structures
40	Horacio L. Arló-Costa, Eric Pacuit	First-Order Classical Modal Logic.	Stud Logica	2006	DBLP DOI BibTeX RDF	First-order modal logic, neighborhood semantics, general frames
40	Johan van Benthem	Modal Frame Correspondences and Fixed-Points.	Stud Logica	2006	DBLP DOI BibTeX RDF	Löb's Axiom, frame correspondence, modal ?-calculus, fixed-point
40	Sen Zhang, Yves Laprie	The Implementation of Service Enabling with Spoken Language of a Multi-modal System Ozone.	ISCSLP	2006	DBLP DOI BibTeX RDF	MIAMM, Spoken Language, XML, Dialogue, Multi-modal, Ozone
40	Matt Newcomb, Chris Harding	A Multi-Modal Interface for Road Planning Tasks Using Vision, Haptics and Sound.	ISVC (2)	2006	DBLP DOI BibTeX RDF	road planning, GIS, haptics, sonification, Multi-modal interfaces
40	Christian Martin 0002, Harmen grosse Deters, Tim W. Nattkemper	Fusing Biomedical Multi-modal Data for Exploratory Data Analysis.	ICANN (2)	2006	DBLP DOI BibTeX RDF	multi-modal data, data mining, neural networks, information visualization, self organizing maps, exploratory data analysis, semantic data integration, complex data
40	Gabriele Di Stefano, Stefan Krause, Marco E. Lübbecke, Uwe T. Zimmermann	On Minimum k-Modal Partitions of Permutations.	LATIN	2006	DBLP DOI BibTeX RDF	monotone sequence, k-modal sequence, cocoloring, approximation algorithm, online algorithm, Mixed integer program, hardness, LP rounding
40	Aleksandar Nanevski	From dynamic binding to state via modal possibility.	PPDP	2003	DBLP DOI BibTeX RDF	modal lambda-calculus, state, dynamic binding, effect systems
40	Jan Kleindienst, Ladislav Serédi, Pekka Kapanen, Janne Bergman	CATCH-2004 Multi-Modal Browser: Overview Description with Usability Analysis.	ICMI	2002	DBLP DOI BibTeX RDF	HTML, browser, multi-modal, VoiceXML, WML
40	Rajeev Goré, Phuong Thê Nguyên	CardS4: Modal Theorem Proving on Java Smartcards.	E-smart	2001	DBLP DOI BibTeX RDF	security of mobile code, modal deduction
40	Stan Sclaroff, Alex Pentland	Modal Matching for Correspondence and Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	shape invariants, vibration modes, eigenmodes, object recognition, finite element methods, deformation, Correspondence, shape description, modal analysis
40	Hans Jürgen Ohlbach	New Ways for Developing Proof Theories for First-Order Multi Modal Logics.	CSL	1989	DBLP DOI BibTeX RDF	Automated Theorem Proving by Translation and Refutation, Nonclassical Logics, Process Logic, Action Logic, Temporal Logic, Modal Logic, Resolution, Epistemic Logic
39	Ming Li, Yantao Zheng, Shouxun Lin, Yong-Dong Zhang 0001, Tat-Seng Chua	Multimedia Evidence Fusion for Video Concept Detection via OWA Operator.	MMM	2009	DBLP DOI BibTeX RDF	OWA, Fusion, Video Concept Detection
39	Mauricio Osorio 0001, Juan Antonio Navarro Pérez	Answer Set Programming and S4.	IBERAMIA	2004	DBLP DOI BibTeX RDF
39	Michael Huth 0001	Refinement is complete for implementations.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Modal transition systems, Implementation relation, Model checking, Refinement
39	Eugenio G. Omodeo, Ewa Orlowska, Alberto Policriti	Rasiowa-Sikorski Style Relational Elementary Set Theory.	RelMiCS	2003	DBLP DOI BibTeX RDF	translation methods, Modal logic, relational systems
39	Carlos Areces, Patrick Blackburn, Maarten Marx	A Road-Map on Complexity for Hybrid Logics.	CSL	1999	DBLP DOI BibTeX RDF	Labeled Deduction, Computational Complexity, Description Logic, Modal and Temporal Logic
38	Stéphane Demri, Raul Fervari	On the Complexity of Modal Separation Logics.	Advances in Modal Logic	2018	DBLP BibTeX RDF
38	Frederik Van De Putte, Dominik Klein 0004	Pointwise Intersection in Neighbourhood Modal Logic.	Advances in Modal Logic	2018	DBLP BibTeX RDF
38	Stanislav Kikot	Kripke Completeness of Strictly Positive Modal Logics Over Meet Semi-Lattices with Operators.	Advances in Modal Logic	2018	DBLP BibTeX RDF
38	Tomasz Kowalski, George Metcalfe	Coherence in Modal Logic.	Advances in Modal Logic	2018	DBLP BibTeX RDF
38	Tiziano Dalmonte, Nicola Olivetti, Sara Negri	Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi.	Advances in Modal Logic	2018	DBLP BibTeX RDF
38	Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev	Frame-Validity Games and Absolute Minimality of Modal Axioms.	Advances in Modal Logic	2018	DBLP BibTeX RDF
38	Wesley H. Holliday, Tadeusz Litak	One Modal Logic to Rule Them All?.	Advances in Modal Logic	2018	DBLP BibTeX RDF
38	Valentin B. Shehtman	On Kripke Completeness of Some Modal Predicate Logics with the Density Axiom.	Advances in Modal Logic	2018	DBLP BibTeX RDF
38	Andrzej Indrzejczak	Cut-Free Modal Theory of Definite Descriptions.	Advances in Modal Logic	2018	DBLP BibTeX RDF
38	Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev	On Strictly Positive Modal Logics with S4.3 Frames.	Advances in Modal Logic	2018	DBLP BibTeX RDF
38	Philippe Balbiani, Martín Diéguez	Here and There Modal Logic with Dual Implication.	Advances in Modal Logic	2018	DBLP BibTeX RDF
38	Birgit Elbl	Cut-Free Sequent Calculi for Products and Relativised Products of Modal Logics.	Advances in Modal Logic	2018	DBLP BibTeX RDF
38	Peter Fritz	Post Completeness in Congruential Modal Logics.	Advances in Modal Logic	2016	DBLP BibTeX RDF
38	Tao Gu, Yanjing Wang 0001	"Knowing value'' logic as a normal modal logic.	Advances in Modal Logic	2016	DBLP BibTeX RDF
38	Philippe Balbiani, David Fernández-Duque	Axiomatizing the lexicographic products of modal logics with linear temporal logic.	Advances in Modal Logic	2016	DBLP BibTeX RDF
38	Philippe Balbiani, Tinko Tinchev	Unification in modal logic Alt1.	Advances in Modal Logic	2016	DBLP BibTeX RDF
38	Sonia Marin, Dale Miller 0001, Marco Volpe 0001	A focused framework for emulating modal proof systems.	Advances in Modal Logic	2016	DBLP BibTeX RDF
38	Denisa Diaconescu, George Metcalfe, Laura Schnüriger	Axiomatizing a Real-Valued Modal Logic.	Advances in Modal Logic	2016	DBLP BibTeX RDF
38	Yutaka Miyazaki	The structure of the lattice of normal extensions of modal logics with cyclic axioms.	Advances in Modal Logic	2016	DBLP BibTeX RDF
38	Zeinab Bakhtiari, Hans van Ditmarsch, Sabine Frittella	Algebraic semantics of refinement modal logic.	Advances in Modal Logic	2016	DBLP BibTeX RDF
38	Lauri Hella, Miikka Vilander	The succinctness of first-order logic over modal logic via a formula size game.	Advances in Modal Logic	2016	DBLP BibTeX RDF
38	Christopher Hampson	Decidable first-order modal logics with counting quantifiers.	Advances in Modal Logic	2016	DBLP BibTeX RDF
38	Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema	The Expressive Power of Modal Dependence Logic.	Advances in Modal Logic	2014	DBLP BibTeX RDF
38	Hans van Ditmarsch, Jie Fan 0001, Wiebe van der Hoek, Petar Iliev	Some Exponential Lower Bounds on Formula-size in Modal Logic.	Advances in Modal Logic	2014	DBLP BibTeX RDF
38	Sonia Marin, Lutz Straßburger	Label-free Modular Systems for Classical and Intuitionistic Modal Logics.	Advances in Modal Logic	2014	DBLP BibTeX RDF
38	Wesley H. Holliday	Partiality and Adjointness in Modal Logic.	Advances in Modal Logic	2014	DBLP BibTeX RDF
38	Michel Marti, George Metcalfe	A Hennessy-Milner Property for Many-Valued Modal Logics.	Advances in Modal Logic	2014	DBLP BibTeX RDF
38	Sara Negri	Recent Advances in Proof Systems for Modal Logic.	Advances in Modal Logic	2014	DBLP BibTeX RDF