Results 101 to 110 of about 1,558,985 (350)

Applications of Automated Reasoning [PDF]

, 2007
This paper offers an informal overview and discussion on first order predicate logic reasoning systems together with a description of applications which are carried out in the Artificial Intelligence Research Group of the University in Koblenz. Furthermore the technique of knowledge compilation is shortly introduced.
Furbach, Ulrich (Prof. Dr.), Obermaier, Claudia   +1 more
openaire   +1 more source

Design Smart Games with requirements, generate them with a Click, and revise them with a GUIs

Advances in Distributed Computing and Artificial Intelligence Journal, 2012
TERENCE is an FP7 ICT European project that is developing an adaptive learning system for supporting poor comprehenders and their educators. Its learning material are books of stories and games. The games are specialised into smart games, which stimulate
Vincenza COFINI, Fernando DE LA PRIETA, Tania di MASCIO, Rosella GENNARI, Pierpaolo VITTORINI   +4 more
doaj   +1 more source

Aximo: automated axiomatic reasoning for information update

, 2007
Aximo is a software written in C++ that verifies epistemic properties of dynamic scenarios in multi-agent systems. The underlying logic of our tool is based on the algebraic axiomatics of Dynamic Epistemic Logic. We also present a new theoretical result:
Richards, Simon, Sadrzadeh, Mehrnoosh
core  

Satisfiability-Based Algorithms for Boolean Optimization

, 2004
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Computer Science and Engineering.
Manquinho, V., Marques-Silva, J. P.
core   +2 more sources

Post‐COVID Fatigue Is Associated With Reduced Cortical Thickness After Hospitalization

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Neuropsychiatric symptoms are among the most prevalent sequelae of COVID‐19, particularly among hospitalized patients. Recent research has identified volumetric brain changes associated with COVID‐19. However, it currently remains poorly understood how brain changes relate to post‐COVID fatigue and cognitive deficits.
Tim J. Hartung, Florentin Steigerwald, Amy Romanello, Cathrin Kodde, Matthias Endres, Sandra Frank, Peter Heuschmann, Philipp Koehler, Stephan Krohn, Daniel Pape, Jens Schaller, Sophia Stöcklein, Istvan Vadasz, Janne Vehreschild, Martin Witzenrath, Thomas Zoller, Carsten Finke, on behalf of the NAPKON Study Group, Y. Ahlgrimm, C. Finke, J. Fricke, T. Keil, L. Krist, N. Lisewsky, M. Mittermaier, M. Mueller‐Plathe, C. Pley, S. Schmidt, A. Stege, F. Steinbeis, S. Steinbrecher, C. Wildberg, M. Witzenrath, E. Zessin, T. Zoller, C. Arendt, C. Bellinghausen, S. Cremer, A. Groh, A. Gruenewaldt, Y. Khodamoradi, S. Klinsing, G. Rohde, M. Vehreschild, T. Vogl, S. Frank, J. C. Hellmuth, M. Huber, S. Kaeaeb, O. T. Keppler, E. Khatamzas, C. Mandel, S. Mueller, M. Muenchhoff, L. Reeh, C. Scherer, H. Stubbe, M. von Bergwelt, L. Weiss, B. Zwissler, S. Cleef, M. E. Figuera Basso, J. Franzenburg, K. Franzpoetter, A. Friedrichs, A. Hermes, J. Heyckendorf, C. Kujat, I. Lehmann, C. Maetzler, S. Meier, D. Pape, S. Poick, L. Reinke, A. K. Russ, A. M. Scheer, D. Schunk, T. Tamminga, S. Bohnet, D. Droemann, K. F. Franzen, R. Hoerster, N. Kaeding, M. Nissen, P. Parschke, J. Rupp, S. Caesar, H. Einsele, S. Frantz, A. Frey, A. Grau, K. Haas, C. Haertel, K. G. Haeusler, G. Hein, J. Herrmann, A. Horn, R. Jahns, P. Meybohm, F. A. Montellano, C. Morbach, J. Schmidt, P. Schulze, S. Stoerk, J. Volkmann, T. Bahmer, A. Hermes, M. Krawczak, W. Lieb, S. Schreiber, T. Tamminga, B. Balzuweit, S. Berger, J. Fricke, M. Hummel, A. Krannich, L. Krist, F. Kurth, J. Lienau, R. Lorbeer, C. Pley, J. Schaller, S. Schmidt, C. Thibeault, M. Witzenrath, T. Zoller, I. Bernemann, T. Illig, M. Kersting, N. Klopp, V. Kopfnagel, S. Muecke, M. Kraus, B. Lorenz‐Depiereux, G. Anton, A. Kuehn‐Steven, S. Kunze, M. K. Tauchert, K. Appel, M. Brechtel, I. Broehl, K. Fiedler, R. Geisler, S. M. Hopff, K. Knaub, C. Lee, S. Nunes de Miranda, S. Raquib, G. Sauer, M. Scherer, J. J. Vehreschild, P. Wagner, L. Wolf, J. C. Hellmuth, K. Guenther, F. Haug, J. Haug, A. Horn, M. Kohls, C. Fiessler, P. U. Heuschmann, O. Miljukov, C. Nuernberger, J. P. Reese, L. Schmidbauer, I. Chaplinskaya, S. Hanss, D. Krefting, C. Pape, M. Rainers, A. Schoneberg, N. Weinert, T. Bahls, W. Hoffmann, M. Nauck, C. Schaefer, M. Schattschneider, D. Stahl, H. Valentin, P. Heuschmann, A. L. Hofmann, S. Jiru‐Hillmann, J. P. Reese, S. Herold, P. Heuschmann, R. Heyder, W. Hoffmann, T. Illig, S. Schreiber, J. J. Vehreschild, M. Witzenrath   +190 more
wiley   +1 more source

A Spectrum of Applications of Automated Reasoning

, 2002
The likelihood of an automated reasoning program being of substantial assistance for a wide spectrum of applications rests with the nature of the options and parameters it offers on which to base needed strategies and methodologies.
Wos, Larry
core   +2 more sources

Higher-order Representation and Reasoning for Automated Ontology Evolution [PDF]

, 2010
: The GALILEO system aims at realising automated ontology evolution. This is necessary to enable intelligent agents to manipulate their own knowledge autonomously and thus reason and communicate effectively in open, dynamic digital environments ...
Bundy, Alan, Chan, M., Lehmann, J.
core  

Hidden-Markov Program Algebra with iteration

, 2011
We use Hidden Markov Models to motivate a quantitative compositional semantics for noninterference-based security with iteration, including a refinement- or "implements" relation that compares two programs with respect to their information leakage; and ...
ANNABELLE MCIVER, Ash, Bishop, CARROLL MORGAN, Chatzikokolakis, Goguen, He, Jones, Jurafsky, LARISSA MEINICKE, McIver, Morgan, Morgan, Morgan, Mu, Sonin   +15 more
core   +1 more source

Acoustic Measures Capture Speech Dysfunction in Spinocerebellar Ataxia

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Spinocerebellar ataxias (SCA) are hereditary cerebellar degenerative disorders with a common feature of dysarthria, involving impaired phonatory and articulatory control of speech, thereby affecting social communication. In this study, we investigated whether acoustic measures could objectively measure speech dysfunction and identify
Zena Fadel, Charlotte Hennessey, Hannah Lee, Pia Parekh, Sheng‐Han Kuo, Ami Kumar   +5 more
wiley   +1 more source

Proofs to two inequality conjectures for a point on the plane of a triangle

Journal of Inequalities and Applications, 2016
We prove two conjectures for a point on the plane of a triangle presented in (Liu in J. Math. Inequal. 8(3):597-611, 2014, doi: 10.1007/s11590-013-0708-4 ) by using the successive difference substitution algorithm NEWTSDS.
Fangjian Huang
doaj   +1 more source