Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Norman, Chase"'
Publikováno v:
Automated Deduction - CADE 29. CADE 2023. Lecture Notes in Computer Science, vol 14132. Springer, Cham
We present an automated reasoning framework for synthesizing recursion-free programs using saturation-based theorem proving. Given a functional specification encoded as a first-order logical formula, we use a first-order theorem prover to both establ
Externí odkaz:
http://arxiv.org/abs/2402.18962
A fundamental principle of individual rational choice is Sen's $\gamma$ axiom, also known as expansion consistency, stating that any alternative chosen from each of two menus must be chosen from the union of the menus. Expansion consistency can also
Externí odkaz:
http://arxiv.org/abs/2208.06907
There is a long tradition of fruitful interaction between logic and social choice theory. In recent years, much of this interaction has focused on computer-aided methods such as SAT solving and interactive theorem proving. In this paper, we report on
Externí odkaz:
http://arxiv.org/abs/2110.08453
Autor:
Gillespie, Norman Chase
Publikováno v:
Southern Journal of Philosophy; Mar1984 Supplement 1, Vol. 22, p111-116, 6p
Autor:
Norman Chase Gillespie
Publikováno v:
The Southern Journal of Philosophy. 22:111-116
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bc65241d61beb63307e0960ebe7e7543
https://doi.org/10.1111/j.2041-6962.1984.tb01553.x
https://doi.org/10.1111/j.2041-6962.1984.tb01553.x
Autor:
Norman Chase Gillespie
Publikováno v:
Morality and Universality ISBN: 9789401088343
In Forms and Limits of Utilitarianism (Oxford, 1965), David Lyons argues that for any principle which emphasizes consequences (either the promotion of desirable results or the avoidance of undesirable consequences), it is the causal properties of ind
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c60fd50609700f6f4cd11a6e599b14cd
https://doi.org/10.1007/978-94-009-5285-0_12
https://doi.org/10.1007/978-94-009-5285-0_12
Autor:
Norman Chase Gillespie
Publikováno v:
Profits and Professions ISBN: 9781461256274
The public image of business does not always inspire public confidence, since it is often assumed that talk of ethics in business is only talk, not something that makes a difference in practice. Business executives are pragmatic individuals, accustom
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9094dcf7184688703e2f6c66cd62876c
https://doi.org/10.1007/978-1-4612-5625-0_10
https://doi.org/10.1007/978-1-4612-5625-0_10
Publikováno v:
Exploding Wires ISBN: 9781461589778
Exploding Wires
Exploding Wires
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::342f163a0321904f18cccb90a44d66ae
https://doi.org/10.1007/978-1-4615-8975-4_3
https://doi.org/10.1007/978-1-4615-8975-4_3
Autor:
Jeanne Norman Chase
Publikováno v:
Design. 77:6-7
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::50e3afb0e6670ced02b583b1a73e7b0b
https://doi.org/10.1080/00119253.1976.9934497
https://doi.org/10.1080/00119253.1976.9934497
Publikováno v:
American Journal of Diseases of Children. 130:17
• Computerized axial tomography is a new radiologic technique that permits noninvasive study of the skull, brain, and cerebral ventricles. This technique has been applied to the study of craniofacial malformations prior to intracranial surgical cor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a0a1734443889a52dca4092a89643bf6
https://doi.org/10.1001/archpedi.1976.02120020019003
https://doi.org/10.1001/archpedi.1976.02120020019003