Search results for "formalisms"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Nikolai S. Akintsov, Artem P. Nevecheria, Gennadii F. Kopytov, Yongjie Yang 0002	Lagrangian and Hamiltonian Formalisms for Relativistic Mechanics with Lorentz-Invariant Evolution Parameters in 1 + 1 Dimensions.	Symmetry	2023	DBLP DOI BibTeX RDF
17	Anna Rapberger, Markus Ulbricht 0001	On Dynamics in Structured Argumentation Formalisms.	J. Artif. Intell. Res.	2023	DBLP DOI BibTeX RDF
17	Rohan Subramani, Marcus Williams, Max Heitmann, Halfdan Holm, Charlie Griffin, Joar Skalse	On The Expressivity of Objective-Specification Formalisms in Reinforcement Learning.	CoRR	2023	DBLP DOI BibTeX RDF
17	Robert F. Lario, Kensaku Kawamoto, Davide Sottara, Karen Eilbeck, Stanley M. Huff, Guilherme Del Fiol, Richard Soley, Blackford Middleton	A method for structuring complex clinical knowledge and its representational formalisms to support composite knowledge interoperability in healthcare.	J. Biomed. Informatics	2023	DBLP DOI BibTeX RDF
17	Yuliya Lierler	Unifying Framework for Optimizations in Non-Boolean Formalisms.	Theory Pract. Log. Program.	2023	DBLP DOI BibTeX RDF
17	Mathieu d'Aquin, Renata Bunoiu, Horatiu Cirstea, Michel Lenczner, Jean Lieber, Frédéric Zamkotsian	Combining representation formalisms for reasoning upon mathematical knowledge.	K-CAP	2023	DBLP DOI BibTeX RDF
17	Philipp Körner	On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms.		2023	RDF
17	Faiq Miftakhul Falakh	Belief Revision in Expressive Knowledge Representation Formalisms.		2023	RDF
17	Ouail Himrane, Alain Ourghanlian, Saïd Amari	Response time evaluation of industrial-scale distributed control systems by discrete event systems formalisms.	Int. J. Control	2022	DBLP DOI BibTeX RDF
17	Ringo Baumann, Hannes Strass	An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms.	Artif. Intell.	2022	DBLP DOI BibTeX RDF
17	Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki	Complexity results on register context-free grammars and related formalisms.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
17	Jinzhi Lu, Junda Ma, Xiaochen Zheng, Guoxin Wang 0001, Han Li, Dimitris Kiritsis	Design Ontology Supporting Model-Based Systems Engineering Formalisms.	IEEE Syst. J.	2022	DBLP DOI BibTeX RDF
17	Yuliya Lierler	Unifying Framework for Optimizations in non-boolean Formalisms.	CoRR	2022	DBLP DOI BibTeX RDF
17	Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde	Reasoning about Moving Target Defense in Attack Modeling Formalisms.	CoRR	2022	DBLP DOI BibTeX RDF
17	Laura Bozzelli, Aniello Murano, Adriano Peron	Context-free timed formalisms: Robust automata and linear temporal logics.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
17	Philipp Körner, Michael Leuschel	Towards Practical Partial Order Reduction for High-Level Formalisms.	VSTTE	2022	DBLP DOI BibTeX RDF
17	Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde	Reasoning about Moving Target Defense in Attack Modeling Formalisms.	MTD@CCS	2022	DBLP DOI BibTeX RDF
17	Nabil Zerrouki, Fouzi Harrou, Ying Sun 0002, Amina Zouina Ait Djafer, Amrane Houacine	A Survey on Recent Advances in Fall Detection Systems Using Machine Learning Formalisms.	ICFSP	2022	DBLP DOI BibTeX RDF
17	Anna Rapberger, Markus Ulbricht 0001	On Dynamics in Structured Argumentation Formalisms.	KR	2022	DBLP BibTeX RDF
17	Songtuan Lin, Pascal Bercher	On the Expressive Power of Planning Formalisms in Conjunction with LTL.	ICAPS	2022	DBLP BibTeX RDF
17	Megha Quamara	An approach to co-design and analysis of safety and security for three-layered system modeling : models, formalisms, and tool support. (Une approche de co-conception et d'analyse de la sûreté et de la sécurité pour la modélisation de systèmes à trois couches : modèles, formalismes et support d'outils).		2022	RDF
17	Yasir Mahmood 0002	Parameterized aspects of team-based formalisms and logical inference		2022	RDF
17	Andrey Soares, Robert A. Jenders, Robert Harrison, Lisa M. Schilling	A Comparison of Arden Syntax and Clinical Quality Language as Knowledge Representation Formalisms for Clinical Decision Support.	Appl. Clin. Inform.	2021	DBLP DOI BibTeX RDF
17	Xin Xing, Lin Lin	Staggered mesh method for correlation energy calculations of solids: Random phase approximation in direct ring coupled cluster doubles and adiabatic connection formalisms.	CoRR	2021	DBLP BibTeX RDF
17	Chandan Sharma, Roopak Sinha, Kenneth Johnson	Practical and comprehensive formalisms for modelling contemporary graph query languages.	Inf. Syst.	2021	DBLP DOI BibTeX RDF
17	Simon Dierl, Falk Howar	A Taxonomy and Reductions for Common Register Automata Formalisms.	Model Checking, Synthesis, and Learning	2021	DBLP DOI BibTeX RDF
17	Neal DeBuhr, Hessam S. Sarjoughian	Model Transformation Across Devs and Event Graph Formalisms.	WSC	2021	DBLP DOI BibTeX RDF
17	Dhaou Garai, Rafika El Harabi, Faouzi Bacha	A Comparative study of Graphical tools for the Fault Monitoring using HBG and DBH Formalisms.	SSD	2021	DBLP DOI BibTeX RDF
17	Natalia Iglesias, Jose M. Juarez, Manuel Campos	Comprehensive analysis of rule formalisms to represent clinical guidelines: Selection criteria and case study on antibiotic clinical guidelines.	Artif. Intell. Medicine	2020	DBLP DOI BibTeX RDF
17	Marcello M. Bersani, Matteo Rossi 0001, Pierluigi San Pietro	On the initialization of clocks in timed formalisms.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
17	Samuele Buro, Isabella Mastroeni	On the semantic equivalence of language syntax formalisms.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
17	Bernard Brogliato, Aneel Tanwani	Dynamical Systems Coupled with Monotone Set-Valued Operators: Formalisms, Applications, Well-Posedness, and Stability.	SIAM Rev.	2020	DBLP DOI BibTeX RDF
17	Jinzhi Lu, Junda Ma, Xiaochen Zheng, Guoxin Wang 0001, Dimitris Kiritsis	Design Ontology Supporting Model-based Systems-engineering Formalisms.	CoRR	2020	DBLP BibTeX RDF
17	Artur Kulmizev, Vinit Ravishankar, Mostafa Abdou, Joakim Nivre	Do Neural Language Models Show Preferences for Syntactic Formalisms?	CoRR	2020	DBLP BibTeX RDF
17	Michael Steinle, Bernd Westphal	Automatic Generation of Learning Assignments for Software Engineering Formalisms.	SEUH	2020	DBLP BibTeX RDF
17	F. Gatwaza, Lynda Seddiki, Herman Akdag, Saïd Amari	Fault-tolerant control of energy production devices using discrete event systems formalisms.	ICCAD	2020	DBLP DOI BibTeX RDF
17	Steffi Knorn, Damiano Varagnolo, Nathalie Kask, David M. Budgett, Jennifer A. Kruger, Poul M. F. Nielsen	Analysing the effects of biofeedback using control-oriented formalisms: the case of gamified Kegel exercising.	ECC	2020	DBLP BibTeX RDF
17	Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle, Kai Sauerwald	Cognitive Logics - Features, Formalisms, and Challenges.	ECAI	2020	DBLP DOI BibTeX RDF
17	Artur Kulmizev, Vinit Ravishankar, Mostafa Abdou, Joakim Nivre	Do Neural Language Models Show Preferences for Syntactic Formalisms?	ACL	2020	DBLP DOI BibTeX RDF
17	Vladimir Kobelev	Non-Leibniz Hamiltonian and Lagrangian formalisms for certain class of dissipative systems.	Comput. Math. Methods	2019	DBLP DOI BibTeX RDF
17	Afef Awadid, Selmin Nurcan, Sonia Ayachi Ghannouchi	On leveraging the fruits of research efforts in the arena of business process modeling formalisms: a map-driven approach for decision making.	Softw. Syst. Model.	2019	DBLP DOI BibTeX RDF
17	Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari	Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework.	New Gener. Comput.	2019	DBLP DOI BibTeX RDF
17	Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic	Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071).	Dagstuhl Reports	2019	DBLP DOI BibTeX RDF
17	Kobamelo Moremedi, John Andrew van der Poll	Towards a comparative evaluation of text-based specification formalisms and diagrammatic notations.	Int. J. Data Min. Model. Manag.	2019	DBLP DOI BibTeX RDF
17	Andreas Teucke, Marco Voigt, Christoph Weidenbach	On the Expressivity and Applicability of Model Representation Formalisms.	CoRR	2019	DBLP BibTeX RDF
17	Aida Amini, Saadia Gabriel, Shanchuan Lin, Rik Koncel-Kedziorski, Yejin Choi 0001, Hannaneh Hajishirzi	MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms.	CoRR	2019	DBLP BibTeX RDF
17	Chuan Li 0003, José Valente de Oliveira, Mariela Cerrada, Diego Cabrera 0001, René-Vinicio Sánchez, Grover Zurita	A Systematic Review of Fuzzy Formalisms for Bearing Fault Diagnosis.	IEEE Trans. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
17	Paul Lanthier, Corentin Guichaoua, Moreno Andreatta	Reinterpreting and Extending Anatol Vieru's Periodic Sequences Through the Cellular Automata Formalisms.	MCM	2019	DBLP DOI BibTeX RDF
17	Aida Amini, Saadia Gabriel, Shanchuan Lin, Rik Koncel-Kedziorski, Yejin Choi 0001, Hannaneh Hajishirzi	MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms.	NAACL-HLT (1)	2019	DBLP DOI BibTeX RDF
17	Samuele Buro, Isabella Mastroeni	On the Semantic Equivalence of Language Syntax Formalisms.	ICTCS	2019	DBLP BibTeX RDF
17	Jessie Carbonnel, David Delahaye, Marianne Huchard, Clémentine Nebut	Graph-Based Variability Modelling: Towards a Classification of Existing Formalisms.	ICCS	2019	DBLP DOI BibTeX RDF
17	Stefano Spellini, Roberta Chirico, Michele Lora, Franco Fummi	Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0.	FDL	2019	DBLP DOI BibTeX RDF
17	Andreas Teucke, Marco Voigt, Christoph Weidenbach	On the Expressivity and Applicability of Model Representation Formalisms.	FroCos	2019	DBLP DOI BibTeX RDF
17	Huber Nieto-Chaupis	Formalisms of Quantization in High Intensity Fields: Quantum Mechanics Meets Classical Electrodynamics.	CISS	2019	DBLP DOI BibTeX RDF
17	Sorcha Gilroy	Probabilistic graph formalisms for meaning representations		2019	RDF
17	David Harel, Shahar Maoz	Visual Formalisms.	Encyclopedia of Database Systems (2nd ed.)	2018	DBLP DOI BibTeX RDF
17	Andrea Marrella, Massimo Mecella, Sebastian Sardiña	Supporting adaptiveness of cyber-physical processes through action-based formalisms.	AI Commun.	2018	DBLP DOI BibTeX RDF
17	Alexandra Q. Nilles, Dylan A. Shell, Jason M. O'Kane	Robot Design: Formalisms, Representations, and the Role of the Designer.	CoRR	2018	DBLP BibTeX RDF
17	Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz	Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets.	Trans. Petri Nets Other Model. Concurr.	2018	DBLP DOI BibTeX RDF
17	Glauber De Bona, Fábio Gagliardi Cozman	On the Coherence of Probabilistic Relational Formalisms.	Entropy	2018	DBLP DOI BibTeX RDF
17	Adriano Baratè, Goffredo Haus, Luca A. Ludovico	Formalisms and Interfaces to Manipulate Music Information: The Case of Music Petri Nets.	CHIRA	2018	DBLP DOI BibTeX RDF
17	Jin-Won Kim, Amirhossein Taghvaei, Prashant G. Mehta	Derivation and Extensions of the Linear Feedback Particle Filter Based on Duality Formalisms.	CDC	2018	DBLP DOI BibTeX RDF
17	M. Cubrilo	Some logic and related formalisms, programming paradigms, and development environments for the (new) AI.	MIPRO	2018	DBLP DOI BibTeX RDF
17	Leslie F. Sikos, Markus Stumptner, Wolfgang Mayer, Catherine Howard, Shaun Voigt, Dean Philp	Representing network knowledge using provenance-aware formalisms for cyber-situational awareness.	KES	2018	DBLP DOI BibTeX RDF
17	Kilian Gebhardt	Generic refinement of expressive grammar formalisms with an application to discontinuous constituent parsing.	COLING	2018	DBLP BibTeX RDF
17	Laurens Versluis, Erwin Van Eyk, Alexandru Iosup	An Analysis of Workflow Formalisms for Workflows with Complex Non-Functional Requirements.	ICPE Companion	2018	DBLP DOI BibTeX RDF
17	Amine Chohra, Kurosh Madani, Chantal Natalie van der Wal	Group Affect in Complex Decision-Making: Theory and Formalisms from Psychology and Computer Science.	ICCCI (2)	2018	DBLP DOI BibTeX RDF
17	Michael J. Maher	Relating Concrete Defeasible Reasoning Formalisms and Abstract Argumentation.	Fundam. Informaticae	2017	DBLP DOI BibTeX RDF
17	Catarina Dutilh Novaes, Erich H. Reck	Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization.	Synth.	2017	DBLP DOI BibTeX RDF
17	Pierpaolo D'Urso	Informational Paradigm, management of uncertainty and theoretical formalisms in the clustering framework: A review.	Inf. Sci.	2017	DBLP DOI BibTeX RDF
17	Alireza Ensan, Eugenia Ternovska	A Semantic Approach to Combining Preference Formalisms.	FLAP	2017	DBLP BibTeX RDF
17	Bama Srinivasan, Ranjani Parthasarathi	A survey of imperatives and action representation formalisms.	Artif. Intell. Rev.	2017	DBLP DOI BibTeX RDF
17	Chong Tang 0001, Kevin J. Sullivan, Jian Xiang, Trent Weiss, Baishakhi Ray	Interpreted Formalisms for Configurations.	CoRR	2017	DBLP BibTeX RDF
17	Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce	An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems.	Formal Aspects Comput.	2017	DBLP DOI BibTeX RDF
17	Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz	Simulating Multiple Formalisms Concurrently Based on Reference Nets.	PNSE @ Petri Nets	2017	DBLP BibTeX RDF
17	Svetlana O. Sheremetyeva	Universal Computational Formalisms and Developer Environment for Rule-Based NLP.	CICLing (1)	2017	DBLP DOI BibTeX RDF
17	Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman	Restricting DEv-PROMELA with a hierarchy of simulation formalisms.	SpringSim (TMS)	2017	DBLP BibTeX RDF
17	Mohammed Foughali	Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools.	ACSD	2017	DBLP DOI BibTeX RDF
17	Przemyslaw Andrzej Walega	Human-Like Spatial Reasoning Formalisms.	AAAI	2017	DBLP DOI BibTeX RDF
17	Christoph Teichmann, Alexander Koller, Jonas Groschwitz	Coarse-To-Fine Parsing for Expressive Grammar Formalisms.	IWPT	2017	DBLP BibTeX RDF
17	Mariam Ben Hassen, Mohamed Turki, Faïez Gargouri	Towards Extending Business Process Modeling Formalisms with Information and Knowledge Dimensions.	IEA/AIE (1)	2017	DBLP DOI BibTeX RDF
17	Marco Kuhlmann, Tatjana Scheffler (eds.)	Proceedings of the 13th International Workshop on Tree Adjoining Grammars and Related Formalisms, TAG 2017, Umeå, Sweden, September 4-6, 2017	TAG	2017	DBLP BibTeX RDF
17	Mukesh Dalal, Amy Sliva, David Blumstein	Complex Causality: Computational Formalisms, Mental Models, and Objective Truth.	AHFE (26)	2017	DBLP DOI BibTeX RDF
17	Jesus Dominguez Alvarez	Rewriting formalisms with binding support: comparing combinatory reduction systems and nominal rewrite systems with atom substitution.		2017	RDF
17	Alexander A. Campbell	Novel Description Logic Formalisms and their Application to Lipidomics.		2017	RDF
17	Michael White 0001, Simon Charlow, Jordan Needle, Dylan Bumford	Parsing with Dynamic Continuized CCG.	TAG	2017	DBLP BibTeX RDF
17	Meaghan Fowlie, Alexander Koller	Parsing Minimalist Languages with Interpreted Regular Tree Grammars.	TAG	2017	DBLP BibTeX RDF
17	Martin Berglund, Henrik Björklund, Frank Drewes	Single-Rooted DAGs in Regular DAG Languages: Parikh Image and Path Languages.	TAG	2017	DBLP BibTeX RDF
17	Laura Kallmeyer, Rainer Osswald	Combining Predicate-Argument Structure and Operator Projection: Clause Structure in Role and Reference Grammar.	TAG	2017	DBLP BibTeX RDF
17	Frank Drewes, Anna Jonsson	Contextual Hyperedge Replacement Grammars for Abstract Meaning Representations.	TAG	2017	DBLP BibTeX RDF
17	Pauli Xu, Robert Frank 0001, Jungo Kasai, Owen Rambow	TAG Parser Evaluation using Textual Entailments.	TAG	2017	DBLP BibTeX RDF
17	Alexander Koller	A Feature Structure Algebra for FTAG.	TAG	2017	DBLP BibTeX RDF
17	Jakub Waszczuk, Agata Savary, Yannick Parmentier 0001	Multiword Expression-Aware A$*$ TAG Parsing Revisited.	TAG	2017	DBLP BibTeX RDF
17	Benjamin Burkhardt, Timm Lichte, Laura Kallmeyer	Depictives in English: An LTAG Approach.	TAG	2017	DBLP BibTeX RDF
17	Caio Corro, Joseph Le Roux	Transforming Dependency Structures to LTAG Derivation Trees.	TAG	2017	DBLP BibTeX RDF
17	Cristina Aggazzotti, Stuart M. Shieber	Reflexives and Reciprocals in Synchronous Tree Adjoining Grammar.	TAG	2017	DBLP BibTeX RDF
17	Dennis Ryan Storoshenko	Scope, Time, and Predicate Restriction in Blackfoot using MC-STAG.	TAG	2017	DBLP BibTeX RDF
17	Dan Friedman, Jungo Kasai, R. Thomas McCoy, Robert Frank 0001, Forrest Davis, Owen Rambow	Linguistically Rich Vector Representations of Supertags for TAG Parsing.	TAG	2017	DBLP BibTeX RDF
17	Chung-hye Han, Anoop Sarkar	Coordination in TAG without the Conjoin Operation.	TAG	2017	DBLP BibTeX RDF
17	Thomas Strahm	Katalin Bimbó. Proof Theory: Sequent Calculi and Related Formalisms. CRC Press, Boca Raton, 2014, x + 374 pp.	Bull. Symb. Log.	2016	DBLP DOI BibTeX RDF