export record
dblp key:
conf/datalog/AlloccaCCCCFFGL19 share record
persistent URL:
Carlo Allocca , Francesco Calimeri , Cristina Civili , Roberta Costabile , Bernardo Cuteri , Alessio Fiorentino , Davide Fuscà , Stefano Germano , Giovanni Laboccetta , Marco Manna , Simona Perri , Kristian Reale , Francesco Ricca , Pierfrancesco Veltri , Jessica Zangari : Large-Scale Reasoning on Expressive Horn Ontologies. Datalog 2019 : 10-21 share record
persistent URL:
Mathias De Brouwer , Femke Ongenae , Filip De Turck : Demonstration of a Stream Reasoning Platform on Low-End Devices to Enable Personalized Real-Time Cycling Feedback. ESWC (Satellite Events) 2019 : 28-32 share record
persistent URL:
Antonio Cerone , Peter Csaba Ölveczky : Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude. FM Workshops (1) 2019 : 424-442 export record
dblp key:
conf/lpnmr/LeoneAACCCFFGLC19 share record
persistent URL:
Nicola Leone , Carlo Allocca , Mario Alviano , Francesco Calimeri , Cristina Civili , Roberta Costabile , Alessio Fiorentino , Davide Fuscà , Stefano Germano , Giovanni Laboccetta , Bernardo Cuteri , Marco Manna , Simona Perri , Kristian Reale , Francesco Ricca , Pierfrancesco Veltri , Jessica Zangari : Enhancing DLV for Large-Scale Reasoning. LPNMR 2019 : 312-325 share record
persistent URL:
Ruhan dos Reis , Markus Endler , Vitor Pinheiro de Almeida , Edward Hermann Haeusler : A Soft Real-Time Stream Reasoning Service for the Internet of Things. ICSC 2019 : 166-169 export record
dblp key:
journals/corr/abs-1902-04387 share record
persistent URL:
Zhihong Tian , Wei Shi , Yuhang Wang , Chunsheng Zhu , Xiaojiang Du , Shen Su , Yanbin Sun , Nadra Guizani : Real Time Lateral Movement Detection based on Evidence Reasoning Network for Edge Computing Environment. CoRR abs/1902.04387 (2019 )export record
dblp key:
journals/corr/abs-1904-01149 share record
persistent URL:
Eliseu M. Oliveira , Rafael Freitas Reale , Joberto S. B. Martins : Cognitive Management of Bandwidth Allocation Models with Case-Based Reasoning - Evidences Towards Dynamic BAM Reconfiguration. CoRR abs/1904.01149 (2019 )export record
dblp key:
journals/corr/abs-1905-10226 share record
persistent URL:
Chenfei Wu , Yanzhao Zhou , Gen Li , Nan Duan , Duyu Tang , Xiaojie Wang : Deep Reason: A Strong Baseline for Real-World Visual Reasoning. CoRR abs/1905.10226 (2019 )2018 share record
persistent URL:
I-Cheng Yeh , Tzu-Kuang Hsu : Building real estate valuation models with comparative approach through case-based reasoning. Appl. Soft Comput. 65 : 260-271 (2018 )share record
persistent URL:
Glena Helen Iten , Julia Ayumi Bopp , Clemens Steiner , Klaus Opwis , Elisa D. Mekler : Does a prosocial decision in video games lead to increased prosocial real-life behavior? The impact of reward and reasoning. Comput. Hum. Behav. 89 : 163-172 (2018 )share record
persistent URL:
Yuri Sato , Yutaro Sugimoto , Kazuhiro Ueda : Real Objects Can Impede Conditional Reasoning but Augmented Objects Do Not. Cogn. Sci. 42 (2 ) : 691-707 (2018 )export record
dblp key:
journals/ijcon/Clempner18 share record
persistent URL:
Julio B. Clempner : A continuous-time Markov Stackelberg security game approach for reasoning about real patrol strategies. Int. J. Control 91 (11 ) : 2494-2510 (2018 )export record
dblp key:
journals/ijris/LakshmanaprabuB18 share record
persistent URL:
S. K. Lakshmanaprabu , U. Sabura Banu : Real time implementation of multivariable centralised FOPID controller for TITO process. Int. J. Reason. based Intell. Syst. 10 (3/4 ) : 242-251 (2018 )export record
dblp key:
journals/ile/EfstathiouKG18 share record
persistent URL:
Irene Efstathiou , Eleni A. Kyza , Yiannis Georgiou : An inquiry-based augmented reality mobile learning approach to fostering primary school students' historical reasoning in non-formal settings. Interact. Learn. Environ. 26 (1 ) : 22-41 (2018 )share record
persistent URL:
Eric Braude , Satbek Abdyldayev : Generalizing Morley's and Other Theorems with Automated Realization. J. Autom. Reason. 60 (4 ) : 503-526 (2018 )export record
dblp key:
journals/jar/NewellPTWL18 share record
persistent URL:
Josh Newell , Linna Pang , David Tremaine , Alan Wassyng , Mark Lawford : Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application. J. Autom. Reason. 60 (1 ) : 63-84 (2018 )export record
dblp key:
journals/sensors/WangWLL18 share record
persistent URL:
Shiyong Wang , Jiafu Wan , Di Li , Chengliang Liu : Knowledge Reasoning with Semantic Data for Real-Time Data Processing in Smart Factory. Sensors 18 (2 ) : 471 (2018 )share record
persistent URL:
Ying-Yi Hong , Jun-Liang Gu , Fu-Yuan Hsu : Design and Realization of Controller for Static Switch in Microgrid Using Wavelet-Based TSK Reasoning. IEEE Trans. Ind. Informatics 14 (11 ) : 4864-4872 (2018 )share record
persistent URL:
Rama K. Yedavalli : A New, Necessary and Sufficient condition for Hurwitz Stability of a Real Matrix Without Characteristic Polynomial, Using Qualitative Reasoning. ACC 2018 : 2851-2856 export record
dblp key:
conf/bics/ZabalzaFWYMYRMP18 share record
persistent URL:
Jaime Zabalza , Zixiang Fei , Cuebong Wong , Yijun Yan , Carmelo Mineo , Erfu Yang , Tony Rodden , Jorn Mehnen , Quang-Cuong Pham , Jinchang Ren : Making Industrial Robots Smarter with Adaptive Reasoning and Autonomous Thinking for Real-Time Tasks in Dynamic Environments: A Case Study. BICS 2018 : 790-800 export record
dblp key:
conf/bigdataconf/RenCNX18 share record
persistent URL:
Xiangnan Ren , Olivier Curé , Hubert Naacke , Guohui Xiao : BigSR: real-time expressive RDF stream reasoning on modern Big Data platforms. IEEE BigData 2018 : 811-820 share record
persistent URL:
Jingyu Sun , Masato Kamiya , Susumu Takeuchi : Introducing Hierarchical Clustering with Real Time Stream Reasoning into Semantic-Enabled IoT. COMPSAC (2) 2018 : 540-545 export record
dblp key:
conf/diagrams/Sochanski18 share record
persistent URL:
Michal Sochanski : Interpreting Diagrammatic Reasoning - Between Empiricism and Realism. Diagrams 2018 : 172-179 export record
dblp key:
conf/ic3k/AlloccaACCFFGLL18 share record
persistent URL:
Carlo Allocca , Mario Alviano , Francesco Calimeri , Roberta Costabile , Alessio Fiorentino , Davide Fuscà , Stefano Germano , Giovanni Laboccetta , Nicola Leone , Marco Manna , Simona Perri , Kristian Reale , Francesco Ricca , Pierfrancesco Veltri , Jessica Zangari : Reasoning over Ontologies with DLV. IC3K 2018 : 114-136 share record
persistent URL:
Eliseu M. Oliveira , Rafael Freitas Reale , Joberto S. B. Martins : Cognitive Management of Bandwidth Allocation Models with Case-Based Reasoning - Evidences Towards Dynamic BAM Reconfiguration. ISCC 2018 : 397-403 share record
persistent URL:
Marvin Teichmann , Michael Weber , J. Marius Zöllner , Roberto Cipolla , Raquel Urtasun : MultiNet: Real-time Joint Semantic Reasoning for Autonomous Driving. Intelligent Vehicles Symposium 2018 : 1013-1020 share record
persistent URL:
Mirian Agus , Paul Kenneth Hitchcott , M. Maribel Pero-Cebollero , Joan Guardia-Olmos , Maria Pietronilla Penna : The probabilistic reasoning in "real-world" context: some reflections about the judgement in medical problem solving. MeMeA 2018 : 1-6 export record
dblp key:
conf/scsquare/MulliganBDET18 share record
persistent URL:
Casey B. Mulligan , Russell J. Bradford , James H. Davenport , Matthew England , Zak Tonks : Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. SC-Square@FLOC 2018 : 48 share record
persistent URL:
Stephanie Inglis , Ehud Reiter , Somayajulu Sripada : Data Quality in Reasoning. SICSA ReaLX 2018 share record
persistent URL:
Sharif Mohammad Shahnewaz Ferdous , Tanvir Irfan Chowdhury , Imtiaz Muhammad Arafat , John Quarles : Investigating the Reason for Increased Postural Instability in Virtual Reality for Persons with Balance Impairments. VR 2018 : 547-548